Sillogismo disgiuntivo esempi di sillogismo disgiuntivo: 1)   O sono sveglio oppure dormo; Non dormo quindi sono sveglio 2)   O sono al lavoro oppure sono in vacanza Non sono in vacanza allora sono al lavoro Il "sillogismo disgiuntivo" si puo' rappresentare nel seguente modo: se P Q e' vera e se anche Q_ e' vera allora ne segue P e' vera In simboli:     [  ( P Q) Q_] -> P Possiamo dimostrarla mostrando che la funzione proposizionale che equivale ad essa e' sempre vera dobbiamo mostrare che [ ( P Q) Q_] -> P e' sempre vera P Q P Q Q_ (P Q) Q_ [(P Q)Q_] ->P v v f f v f v f v v v f f v f v f v f f v v v v Per eseguire la tabella segui le tabelle delle operazioni elementari gia' fatte: la terza colonna e' l'disgiunzione inclusiva tra P e Q, che e' falsa solo se P e Q sono entrambe false la quarta colonna e' la negazione di Q la quinta colonna e' la congiunzione logica tra P Q e non Q che e' vera solo se entrambe sono vere la sesta colonna e' l'implicazione materiale tra [P Q] Q_ e P, che e' falsa solo se la prima e' vera e la seconda e' falsa