A type of logic that works only with propositions, which are also called sentences. Sentences are always true are false and don’t depend on any variables.
Syntax
Describes the proper form of a logic sentence (the grammar for a correct sentence).
Semantics
Interprets the meaning of a logic sentence, usually either True or False.
Connectives
Operators that combine sentences into larger sentences like the logical AND operator.
Interpretation
Refers to a setting of the variables of a logic sentence so that it becomes true.
Knowledge base
A set of logical sentences.
Entailment
A mathematical relation that indicates whether a logical sentence is logically implied by another sentence.
Inference
Determining if a logic sentence is entailed by some others usually in a knowledge base.
Sound algorithm
An algorithm for inference that only derives sentences entailed by the knowledge base.
Complete algorithm
An algorith for inference that derives ALL sentences entailed by the knowledge base.
Conjunctive Normal Form
A form of a logical sentence where several clauses are connected by ANDs and each clause consists of variables or negations of variables connected by ORs
First Order Logic
A form of logic that allows functions, relations, and quantifiers to appear in the sentences.