Teggen - 8. kapitola (V. kniha série Návrat na Mizeon)
05.04.2023 21:17
(Nový Mizeon, knihovna debhátarů)
„Přímý důkaz implikace A ⇒ B provádíme tak, že vytváříme řetězec pravdivých implikací ve tvaru: A ⇒ A1, A1 ⇒ A2, A2 ⇒ A3, …, An ⇒ B,“ zakrákorala freneticky První strážná chiméra.
„Zatímco nepřímý důkaz implikace A ⇒ B,“ pokračovala Druhá, „realizujeme tak, že operaci převedeme na důkaz obměny neboli kontrapozice původní věty.“
Třetí zašustila křídly a dodala: „Trvám na tom, že nejdramatičtější je důkaz sporem."
Essius po trojici tenerisských chimér loupnul očima. Z jejich drmolení mu hučelo...