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 in tableau rules for identity #252

Closed jdutant closed 3 years ago

jdutant commented 3 years ago

The third rule for identity should be labelled \False\eq

rzach commented 3 years ago

Thanks!

jdutant commented 3 years ago

Sorry my mistake, I get it now, it is not a typo. Both rules should be rules for a true identity. Please revert!