search

OpenLogicProject / OpenLogic

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

Fix typos in FOL syntax chapter #306

Closed furcyd closed 2 years ago

furcyd commented 2 years ago
  1. Fixed typos in several sections of the Syntax chapter in content/first-order-logic/syntax-and-semantics/
  2. Added a row for the biconditional in the table of content/first-order-logic/syntax-and-semantics/main-operator.tex
rzach commented 2 years ago

The biconditional was already in there, but the figure should really only list the connectives that are taken as primitive. Will fix.

furcyd commented 2 years ago

The biconditional was already in there, but the figure should really only list the connectives that are taken as primitive. Will fix.

To clarify: I added the row in the table.