TIL 2017
Cvičení 2:
1. Analyzujte větu „Všechna prvočísla větší než 2 jsou lichá“.
a) Pomocí kvantifikátoru /(())
b) Pomocí omezeného kvantifikátoru All/((())())
Návod: Množinu prvočísel větších než 2 zkonstruujte takto:
x [[0
Prime x]  [0
> x 0
2]]
2. Analyzujte větu „Existuje sudé prvočíslo“ pomocí kvantifikátoru /(()).
3. Analyzujte následující úsudek a zdůvodněte, proč je neplatný:
Primátor Ostravy je Tomáš Macura.
Rektor VŠB-TU se chce stát primátorem Ostravy.
––––––––––––––––––––––––––––––––––––––––
Rektor VŠB-TU se chce stát Tomášem Macurou.
Návod: Výraz „chce-se-stát“ označuje vztah individua k úřadu, tj. ().
Zkonstruujte nejprve úřad primátora města Ostravy jako v prvním cvičení, tj.
wt [0
Primatorwt
0
Ostrava].
Návod:
Metoda analýzy spočívá ve třech krocích:
a) Přiřadíme typy objektům, o kterých výraz V mluví, tj. objektům označeným podvýrazy daného
výrazu V včetně V samotného
b) Skládáme konstrukce objektů ad a) tak, abychom konstruovali objekt označený celým
výrazem V. Přitom sémanticky jednoduché výrazy analyzujeme jako Trivializace označeného
objektu
c) Provedeme typovou kontrolu.
Příklad: Analyzujeme výraz „primátor Ostravy“.
a) Typy: Primátor(něčeho)/((())), zkráceně (), Ostrava/, Primátor_Ostravy/
b) Syntéza: wt [0
Primatorwt
0
Ostrava]
c) Typová kontrola:
w t [[[0
Primator w] t] 0
Ostrava]
((())) 
(()) 
() 

()
(()) zkráceně 