Silogismo disjuntivo: p∨q, ¬p ⊨ q é válido?

Uma disjunção precisa de pelo menos um lado verdadeiro, por isso p ∨ q com ¬p deixa q. Excluído um disjunto, fica o outro.

Válidop∨q, ¬p ⊨ q

Todos os ramos do tableau fecham, por isso nada torna as premissas verdadeiras e a conclusão falsa ao mesmo tempo.

Demonstração (tableau semântico)

  1. 1p∨qpremissa
    1. 2¬ppremissa
      1. 3qconclusão negada
        1. 4p
          1. 5p

          2. 6q

ramo fechado

Como funcionam os tableaux semânticos →

Experimentar na Calculadora

Mais demonstrações resolvidas