.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Dubbio] Conseguenza logica (http://www.dsy.it/forum/showthread.php?threadid=15568)

[Dubbio] Conseguenza logica

Facendo gli esercizi sulla conseguenza logica la bravissima flavia si è accorta di una incongruenza abbastanza importante;

I suddetti esercizi si possono risolvere in due modi:
1)trovo i modelli per le formule "A" (quelle a sinistra del segno di conseguenza logica) e verifico che per quei modelli il valore di verità della forumla "B" (a destra del segno di conseguenza logica) sia anch'essa vera

2)faccio A1 e A2... e An -->B e verifico che sia una tautologia...(dove e rappresenta la congiunzione logica "and").

Ora utilizziamo il primo caso...Ipotizziamo che tutte le tabelle di verità di A1,A2..An diano come risultato sempre "falso"..questo implica che nn ci possono essere modelli..e di conseguenza la formula B nn può essere conseguenza logica.

Ora utilizziamo il secondo caso.Tutte le tabelle delle formule "A" hanno come risultato falso (sono le stesse di prima), questo implica che se faccio l'operazione "A--->B" otterrò sempre un valore "V" e quindi una tautologia!!
Quindi B è conseguenza logica di A1..An...
ma i due risultati sono in palese contrasto..come ne veniamo fuori?

ne abbiamo già ampiamente discusso qua:
http://www.dsy.it/forum/showthread.php?threadid=15432

Roberto

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

ok grazie..il titolo del thread era forviante e nn lo avevo nemmeno letto-