Citaat:
Oorspronkelijk geplaatst door porpo
Kip of jong kunt u niet formaliseren met A v ¬A (= kip of geen kip). Dat kan u met uw partner proberen "ik eet kip of anders niet" en kies een juiste tijdstip waarop zij/hij niet chagrijnig is.
U kan het doen op de volgende manier.
A ==> A.
¬A ==> B.
Kip of jong
(A v ¬A)
In dat geval wel als u de implicatie van een andere identiteit aangeeft.
(A v ¬A) <==> (¬A ==> B)
Ik stel de vraag nog een keer.
Wat is er silly aan A v ¬A gevolgd door het te ontkennen?
En geen boer of geschiedenis is cool dit keer a.u.b!  |
Dat is wel een heel bijzondere variant van propositionele calculus dat u toepast.
