Esercizi di logica

Messaggioda juvedelpiero » 17/12/2014, 12:02

Salve ragazzi,
mi sono stati dati degli esercizi in cui devo dimostrare se determinati enunciati sono veri o falsi, potete spiegarmi possibilmente in un modo semplice come fare. Questi sono alcuni degli esercizi:

1) A,B ⊨ C se e solo se A ⊨ (B -->C)
2) Se A ⊨ ¬A allora ¬A ∈ TAUT

Grazie a chiunque voglia aiutarmi
juvedelpiero
New Member
New Member
 
Messaggio: 1 di 56
Iscritto il: 17/12/2014, 11:31

Re: Esercizi di logica

Messaggioda Zero87 » 17/12/2014, 21:03

Con un nick così bello, non posso non salutarti e darti il benvenuto al forum e buona permanenza. :D
Aspetto per vedere la squadra del tuo nick campione d'inverno (e d'estate) e passare gli ottavi di CL (la vedo dura qui). :roll:

juvedelpiero ha scritto:Se A ⊨ ¬A allora ¬A ∈ TAUT

Vediamo, se non erro ex falso quod libitur (si scrive così?).
Ex studente Unicam :heart:
Avatar utente
Zero87
Cannot live without
Cannot live without
 
Messaggio: 4187 di 12931
Iscritto il: 12/01/2008, 23:05
Località: Marche

Re: Esercizi di logica

Messaggioda juvedelpiero » 17/12/2014, 22:29

Speriamo forza juvee!!
Una cosa riguardante l'esercizio, se mi puoi aiutare, dove trovo A,B posso sostituire con A /\B?
juvedelpiero
New Member
New Member
 
Messaggio: 2 di 56
Iscritto il: 17/12/2014, 11:31

Re: Esercizi di logica

Messaggioda Zero87 » 18/12/2014, 22:32

Immagino che parli di derivazione naturale: passo, era un'altra era geologica quando ho studiato la derivazione naturale...!

Per il secondo esercizio, però, sono della stessa idea di ieri sera.
Ex studente Unicam :heart:
Avatar utente
Zero87
Cannot live without
Cannot live without
 
Messaggio: 4190 di 12931
Iscritto il: 12/01/2008, 23:05
Località: Marche


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

Chi c’è in linea

Visitano il forum: Google [Bot] e 1 ospite