568
edits
Predicate logic: Difference between revisions
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..."
(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 difference)
|