Propositional Logic and Resolution (Part 1)

Posted on 2018-10-01 | Post modified 2018-11-01 | In Languages , Prolog

Propositional Logic

Interpretation

Semantics of Well-Formed Formulae

Models

Logical Consequence

Proof System for Resolution

Resolution Proof

Example

An Alternative View

Vocabulary