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