propositional logic
(E V B) => A
A => (J A M)
J <=> M
J <=> ¬M
{B true, E false}
Truth Table
O P O=> P
(E V B) => A
A => (J ^ M)
first-order logic rel, object, func T/F/?
propositional logic facts T/F/?
probability theory facts [0..1]
atomic -> problem solving
factored
structured
{P:T, Q:F}
Syntax
-sentences terms
vowel(A)
above(A, B)
2 = 2
operators A v ¬ => <= ( )
terms
A, B, 2 x, y
number of A
quantifiers: vowel(x) => number of (x) = 1
Number of (x) = 2
