MLO - TD logique des prédicats - ENSIIE
Exercice 6 (Logique du premier ordre et sémantique). On consid`ere le langage ... Correction. Theorem buveur : exists x, boit x -> forall y, boit y. Proof ...
Exercice 6 (Logique du premier ordre et sémantique). On consid`ere le langage ... Correction. Theorem buveur : exists x, boit x -> forall y, boit y. Proof ...