Beautiful LOGic

Soit F une formule atomique non close. Si une substitution ˇ est telle que l’instance Fˇ de F est une conséquence logique de P, alors ˇ est une réponse correcte à F. Si aucune instance de F n’est conséquence logique … Read more →