Nouvelle vie ?

Un journal intime, abandonné ou perdu en pleine rue. Quelqu’un cherche t’il à retrouver cette mémoire perdue ? Qu’il se dépeche de revenir sur ses pas, avant que tout ne soit effacé : lignes d’une vie tracées à l’encre bleu, … Read more →

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 →