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 →

Chose a dit :

Smyrne désormais ne m’était plus viable. Mon coeur avait succombé peu à peu à la fatigue. Quelquefois, sans doute, me reprenait le désir de voyager ou de m’engager dans la première armée venue, ou encore de partir à la recherche … Read more →