Loogika konspekt 6-10
kulu; Ms organismi kaal suureneb; Mv organismi kaal väheneb.
See on modus tollens:
(Kst Mv) & (Tsk Ms)] & (¬Mv & ¬Ms) ¬Kst & ¬Tsk Järelikult organismi tulud ei ületa
kulusid ja kulud ei ületa tulusid. Konteksti tundes saame järeldada, et organismi kulud on
tasakaalus: (Tulu Kulu) & (Kulu Tulu) Tulu = Kulu
30_fl_vi-x
8.22. Kui Caesar oleks olnud ebausklik, siis ta oleks Calpurnia palveile senatisse mitte
minna järele andnud. Kui ta olnuks ettevaatlik, oleks ta eemaldanud Brutuse. Caesar ei
andnud järele Calpurnia palveile ega eemaldanud Brutust.
Tähistame: Eb Caesar oli ebausklik; J Caesar andis järele Calpurnia palvele senatisse
mitte minna; Et Caesar oli ettevaatlik; B Caesar eemaldas Brutuse.
See on MT:
[(Eb J) & (Et B)] & (¬J & ¬B) ¬Eb & ¬Et
Järeldus: Caesar ei olnud ei ebausklik ega ka mitte ettevaatlik.
8.23