J'étudie actuellement les épreuves logiques de premier ordre au format Fitch. Mon professeur suit de près Language, Proof and Logic par Jon Barwise. J'essaie de faire quelques preuves mais j'ai du mal
Existe-t-il un logiciel qui utilise le format Fitch (utilisé dans Language, Proof and Logic), permet de mettre un ensemble spécifique de prémisses et d'objectifs et de nous montrer la liste complète d