Dimostrazione Tautologie
Qualcuno può aiutarmi in questo esercizio?
so che è una tautologia però non riesco a dimostrarla
so che è una tautologia però non riesco a dimostrarla
Risposte
"roby1234":
Qualcuno può aiutarmi in questo esercizio?
so che è una tautologia però non riesco a dimostrarla
Posta almeno il tuo procedimento
\((A\Rightarrow B) = (B \lor \lnot A)\), il resto sono conti.
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'?
*le 2 parentesi alla fine posso toglierle dato che ci sono solo 'or'?
Procedendo così dite che è giusto? (non ho capito molto bene la 'Sempl. and')
"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?
"NerdMind":
[quote="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?[/quote]
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
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo