Category:Definitions/Predicate Calculus

From ProofWiki

Jump to: navigation, search

This category contains definitions related to the field of Predicate Calculus.

Pages in category "Definitions/Predicate Calculus"

The following 22 pages are in this category, out of 22 total.

A

B

F

Definition:Free Occurrence

F cont.

I

M

O

Definition:Occurrence (Predicate Calculus)

P

Definition:Plain WFF

P cont.

Definition:Predicate WFF

S

W

Retrieved from "http://www.proofwiki.org/w/index.php?title=Category:Definitions/Predicate_Calculus&oldid=31092"

Personal tools

Log in / create account

ProofWiki.org

ToDo

Toolbox

Google AdSense