search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Syntax of FOL #30

Closed rzach closed 5 years ago

rzach commented 5 years ago

There is no clear statement (inductive definition) of formulas and sentences of FOL.

rzach commented 5 years ago

That is not true!