Laqme
cheo higher-orderness example
23:23
+138
no edit summary
21:44
+162
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..."
21:10
+1,993