Exercice corrigé LOGICS pdf

LOGICS

Exercice 4.1. Prove, in a semantical way , that ||? ? ?x¬¬(R(x) ? ¬R(x)). Exercice 4.2. 1- Find some Kripke structure K which is a counter-model for. (¬A ? B) ? (¬ B ? A). 2- Is the sequent |? ? (¬A ? B) ? (¬B ? A) derivable within LK? within LJ? Exercice 4.3 LJ versus LK. Let us consider the following sequents, that were  ...