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
 ...


 





Exercicescorriges.com