Exercice corrigé LOGIQUE pdf

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.