Forum by laureateci.it - Metodo controesempio

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

Magistrale - Primo Anno

Metodi formali dell'Informatica

Metodo controesempio

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

WonderBoy
Utente giovane

Città: UK

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...

Ivan86
Utente Capoeirista

Regione: Puglia
Prov.: Bari
Città: Bitritto

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.