Notice: Use of undefined constant hlavicka - assumed 'hlavicka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/flh/test2/index.php on line 11

Projekt ESF OPVK č. CZ.1.07/2.2.00/07.0217 "ORGANON: LMS pro výuku logiky"
je spolufinancován z Evropského sociální fondu a státního rozpočtu České republiky.



Následující dvojice vět zformalizujte a rozhodněte zda jsou či nejsou ekvivalentní.
V případě, že ekvivalentní nejsou, zdůvodněte proč a určete jaký vztah mezi nimi je (konverze, inverze, kontrapozice, kontradikce, kontrárnost, subkontrárnost, subalternost, apod.)


Notice: Use of undefined constant paticka - assumed 'paticka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/flh/test2/index.php on line 64

Do tabulky se zadáním testu napište pouze výslednou formalizaci obou vět a určení jejich vztahu.
Pokud chcete zkontrolovat i postup úprav, napište je (pokud možno čitelně) na druhou stranu zadání.