LOGIQUE
LOGIQUE. TD 3 : Structures de Kripke. Exercice 3.1. Donner une preuve
sémantique de ||? ? ?x¬¬(R(x) ? ¬R(x)). Exercice 3.2. 1- Trouver une structure
de Kripke K qui est un contre-mod`ele de. (¬A ? B) ? (¬B ? A). 2- Le séquent |?
? (¬A ? B) ? (¬B ? A) est-il prouvable dans LK ? dans LJ ? Exercice 3.3 LJ
versus LK.


 





Exercicescorriges.com