Sillogismo disgiuntivo: p∨q, ¬p ⊨ q è valido?

Una disgiunzione richiede almeno un lato vero, quindi p ∨ q con ¬p lascia q. Escluso un disgiunto, resta l'altro.

Validop∨q, ¬p ⊨ q

Tutti i rami del tableau si chiudono, quindi nulla rende vere le premesse e falsa la conclusione insieme.

Dimostrazione (tableau semantico)

  1. 1p∨qpremessa
    1. 2¬ppremessa
      1. 3qconclusione negata
        1. 4p
          1. 5p

          2. 6q

ramo chiuso

Come funzionano i tableaux semantici →

Prova nella Calcolatrice

Altre dimostrazioni svolte