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



Pro každou z následujících vět určete sémantický jev, kvůli kterému je její formalizace v predikátové logice prvního řádu problematická (např. víceznačnost, modalita, intenzionalita apod.); vysvětlete jej a navrhněte prostředky formální sémantiky adekvátní pro její logickou analýzu.

   
   
   
   
   

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

Prosím, aby Vaše řešení obsahovalo odpovědi na všechny tři úkoly - určení jevu, jeho vysvětlení a odpovídající logickou analýzu.