search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.07k stars 241 forks source link

minor typo #256

Closed jdutant closed 3 years ago

jdutant commented 3 years ago

Developing F-> should be T antecedent, as in the more developped version of that tableau below.

rzach commented 3 years ago

Thanks!