Úvod - co bylo dříve, vejce nebo slepice


♪♫ ♪ ♪♫ ♪



Problém:

Chceme ctít základy logiky.



Pokud máme vejce nebo slepici, je další vývoj zajištěn zákonitě.


Řešení:

Budeme pracovat pečlivě s implikacemi a dalšími radovánkami z výrokového počtu.