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...