Notice: Use of undefined constant hlavicka - assumed 'hlavicka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/los/du2/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.



Zařaďte následující formule predikátové logiky do logického čtverce;
tj. pro každou ze zadaných formulí určete, zda vyjadřuje logickou formu soudu SaP, SeP, SiP nebo SoP.


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

Prosím, abyste do tabulky se zadáním domácího úkolu psali pouze výsledky (tj. pouze určení typu soudu - SaP, SeP, SiP, SoP).
Pokud chcete zkontrolovat i postup úprav, napište je (pokud možno čitelně) pod tabulku nebo na druhou stranu papíru.
Děkuji.