Category:Definitions/Predicate Logic

From ProofWiki

Jump to: navigation, search

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

Subcategories

This category has only the following subcategory.

P

[×] Definitions/Predicate Calculus‎ (22 P)

Pages in category "Definitions/Predicate Logic"

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

A

Definition:Arbitrary Name

C

D

Definition:Dummy Variable

E

L

Definition:Logical Term

M

Definition:Model for Predicate Logic

N

Definition:Name

P

Q

Definition:Quantifier

S

Definition:Singular Statement

U

V

Definition:Variable

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

Definitions/Logic

Personal tools

Log in / create account

ProofWiki.org

ToDo

Toolbox

Google AdSense