Archive - 31 maja 2024

Jeden funktor, dwa niezawodne prawa wnioskowania oraz dwa błędy logiczne. Z implikacją, a więc zdaniami, które łączy funktor „jeśli …, to …”, mamy niemałe...