Samenvatting Tableaus van Logica- en wetenschapsfilosofie gedoceerd door Prof. B. Van Kerkhove

TABLEAUS
VERSCHILLENDE GEVALLEN
GEVAL 1: &1
Een conjunctie kan pas waar zijn indien beide leden waar zijn, er is geen andere mogelijkheid.
9 (i) A & B
1
(j) A B (&1)
1 1



GEVAL 2: &0
Maken gebruik van een splitsing! A & B is onwaar als A of B of beide onwaar zijn.
9 (i) A & B
0
(j) A B (&0)
0 0



GEVAL 3: ∨1
Maken gebruik van een splitsing! A ∨ B is waar als A of B waar is.
9 (i) A ∨ B
1
(j) A B (∨1)
1 1



GEVAL 4: ∨0
Er is maar één mogelijkheid: A ∨ B is onwaar als A en B onwaar is.
9 (i) A ∨ B
0
(j) A B (∨0)
0 0



GEVAL 5: ~1
Er is maar één mogelijkheid: ~A is waar als A onwaar is.
9 (i) ~A
1

(j) A (~1)
0