541
edits
Predicate logic: Difference between revisions
no edit summary
(Created page with "'''Predicate logic''' is formal logic where the alphabet includes quantifiers (<math>\forall</math>, <math>\exists</math>…), variables (''x'', ''y'', ''z''…), and '''predi...") |
No edit summary |
||
| Line 26: | Line 26: | ||
This connection between predicate logic and natural language has been explored since the 1970s by Montague ([https://en.wikipedia.org/wiki/Montague_grammar ''Montague grammar'' on Wikipedia]). | This connection between predicate logic and natural language has been explored since the 1970s by Montague ([https://en.wikipedia.org/wiki/Montague_grammar ''Montague grammar'' on Wikipedia]). | ||
== See also == | |||
* [https://en.wikipedia.org/wiki/Predicate_logic Predicate logic] on Wikipedia. | |||
* [[Plural logic]], another flavor of the logic Toaq is based on. | |||