1. Predicats and First Order Logic

Created Friday 15 August 2014

Predicates

First Order Logic

Inference

Axioms

Predicates

First Order Logic

The use of first order predicates

Examples

Inference

Inference chain is how we build the proof
DeMorgan's Theorems
Modus Ponens
Modus Tollens
Contrapositive
Contradiction
Universal negation
Existential negation

Example

Shorthand

Induction

Watch Movement

Proof

Axioms

Example: Axioms

Natural numbers
Commutative and transitive properties of equality -> Equivalence relations
Object-oriented software — an algorythm is deterministic if its behavior depends only upon the things that it observes+

Summary



Backlinks: