aristoteles
by earl, 8672 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.
search
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
