| V I S U A L I Z Z A D I S C U S S I O N E |
| WonderBoy |
Inserito il - 10/11/2009 : 11:30:02
Ennesima domanda di metodi formali  ... qualcuno sa dove posso trovare spiegazioni sul metodo del controesempio? In rete non riesco a trovar nulla... |
| 3 U L T I M E R I S P O S T E (in alto le più recenti) |
| WonderBoy |
Inserito il - 11/11/2009 : 11:57:14
Leggo solo ora visto i molteplici impegni 
Sì perfetto, ti ringrazio davvero! |
| Ivan86 |
Inserito il - 11/11/2009 : 09:12:17
è chiaro o mi sono espresso da cani?  |
| Ivan86 |
Inserito il - 10/11/2009 : 15:00:23
Io chiesi a colleghi e andai dal professore a farmelo spiegare.
In pratica ad esempio nella formula hai:
Finito l'esercizio alle lettere chiuse assegnerai False e a quelle aperte True. In questo caso:
-P = F --> P = T
R = F
-Q = F --> Q = T
a questo punto sostituisci nella formula di partenza, al posto delle lettere il corrispondente T o F e fai il confronto con le tavole di verità, fino ad ottenere un unico o F o T. Se è T allora sarà una tautologia, con F non lo sarà.
In questo caso uscirà T. |
