Learning TFL LOGIC

Question

Hi,

I am learning how to do logic proofs for the first time but I'm not sure if there are any sites where I can verify my proofs? Thanks in advance

Answer 1

I found a couple that might help: https://mrieppel.github.io/fitchjs/ and https://logic.tamu.edu/daemon.html

good luck!