Conseguenza logica (logica proposizionale)

Messaggioda tecya » 22/11/2014, 10:48

Allora, partendo dalla definizione: "Siano T e G un insieme di formule ed una formula. Diciamo che G è conseguenza logica di T se ogni interpretazione che soddisfa ogni formula di T soddisfa anche G".

Devo fare un paio di esercizi. Esempio:
(a) F,G ⊨ F ∧ G

Come io lo risolverei.

Allora, le due formule F e G sono soddisfatte entrambe quando v(F) = V e v(G) = V.
Ora, con v(F) = V e v(G) = V il valore di (F ∧ G) = V

Quindi direi che è gisuto: F ∧ G è conseguenza logica di F,G.

E' così che si procede? Spero di aver capito. Grazie a tutti, dopo in caso posto le altre domande/risposte
tecya
New Member
New Member
 
Messaggio: 2 di 84
Iscritto il: 02/10/2013, 22:46

Re: Conseguenza logica (logica proposizionale)

Messaggioda catwoman » 28/11/2014, 20:32

Penso che il tuo ragionamento non faccia nessuna piega. Quando ho studiato logica non ci siamo fossilizzati su queste minuzie. Ciò che stai facendo tu è vedere che le regole di inferenza (and-introduzione, ecc...) sono truth-preserving.
catwoman
Starting Member
Starting Member
 
Messaggio: 9 di 18
Iscritto il: 13/10/2014, 14:18


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite