top of page
lihelpcompfatbatts

Fitch-proof-solver

This is a demo of a proof checker for Fitch-style natural deduction systems found in many popular introductory logic textbooks. The specific system used here is ...












fitch-proof-solver


Logictools Natural deduction proof editor and checker. This is a demo of a proof checker for Fitch-style natural deduction systems found in many popular ... 939c2ea5af





0 views0 comments

Recent Posts

See All

Opmerkingen


bottom of page