Predicate logic

Follow Predicate logic on Notably News to receive short updates to your email — rarely!

We include updates on Inverse trigonometric functions, Idempotence, Surjective function, Bijection, Bijection, injection and surjection, Mereology, Partial function, List of set identities and relations, Composition of relations, Relation algebra, Free variables and bound variables, Propositional function, Universal instantiation, Atomic formula, Drinker paradox, Unimodality ... and more.