start | find | index | login or register | edit
aristoteles
by earl, 8404 days ago
alter grieche; ziemlich weise. die grundlage fuer viel in unserer heutigen computerei.

direkter bzw. mathematische beweis:
ist a=b und b=c dann ist a=c
bzw.
(a <-> b) & (b <-> c) -> (a <-> c)
a aequivalent b und b aequivalent c impliziert a aequivalent c

indirekter beweis: komplizierter. mehrere beweisformen sind moeglich. die populaerste form ist wohl die reductio ad absurdum - wenn a und b dann ist c, weil wenn nicht c, dann nicht a oder nicht b. zwei praemissen fuehren schluessig zu einer concludio da die negation der concludio eine zur negation einer der praemissen fuehren wuerde.

mehr zur aristotelischen logik findet sich hier.
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8424 days • c'est un vanilla site