CORE-verifier
master
Install
Predicate Logic
Sentences
Objects
Constants
Predicates
Relations
Connectives
Quantifiers
Trivial Truth
Expressions
Commands
CORE-verifier
Predicate Logic
Edit on GitHub
Predicate Logic
The principal data type in CORE is a first-order sentence.
Sentences
Objects
Creation
Examples
Constants
Examples
Predicates
Creation
Examples
Relations
Syntax
Creation
Examples
Connectives
Negation
And
Or
Implies
Biconditional
Connective Precedence
Quantifiers
Syntax
Universal Quantifiers
Existential Quantifiers
Examples
Trivial Truth
Trivially True
Trivially False
Trivial Implication
Trivial Equivalence
Read the Docs
v: master
Versions
master
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds