Dimostrazione Tautologie

[roby1234]

Qualcuno può aiutarmi in questo esercizio?
so che è una tautologia però non riesco a dimostrarla

[NerdMind]

Qualcuno può aiutarmi in questo esercizio?
so che è una tautologia però non riesco a dimostrarla

Posta almeno il tuo procedimento

[killing_buddha]

\((A\Rightarrow B) = (B \lor \lnot A)\), il resto sono conti.

[roby1234]

Potete gentilmente dirmi come posso continuare?(e se fino a qui è giusto)



*le 2 parentesi alla fine posso toglierle dato che ci sono solo 'or'?

[roby1234]

Procedendo così dite che è giusto? (non ho capito molto bene la 'Sempl. and')

[NerdMind]

Procedendo così dite che è giusto? (non ho capito molto bene la 'Sempl. and')

La devi dimostrare per forza così? Oppure puoi anche dimostrarla utilizzando 1 e 0?

[roby1234]

Procedendo così dite che è giusto? (non ho capito molto bene la 'Sempl. and')

La devi dimostrare per forza così? Oppure puoi anche dimostrarla utilizzando 1 e 0?

Intendi con le tabelle di verità? purtroppo no...
Il prof ha detto che la parte prima della implicazione deve essere uguale a quella dopo (così è una tautologia); però non riesco a dimostrarla senza 'toccare' la parte a destra