TIL 2016
Cvičení 3
1. Analyzujte následující úsudek a zdůvodněte, proč je neplatný:
Teplota v Amsterdamu stoupá.
Teplota v Amsterdamu = teplota v Praze.
––––––––––––––––––––––––––––––––––––––––
Teplota v Praze stoupá.
Návod: Výrazy „teplota v Amsterdamu“ a „teplota v Praze“ označují tzv. veličiny
typu . Můžeme je zkonstruovat takto:
wt [0
Teplotawt
0
Amsterdam], wt [0
Teplotawt
0
Praha], kde Teplota(_v)/().
2. Dokažte platnost úsudku:
Primátor Ostravy navštívil Brno.
––––––––––––––––––––––––––––––––––––––––
Primátor Ostravy existuje.
V jaké supozici se vyskytuje význam výrazu „primátor Ostravy“ v dané premise?
3. Analyzujte:
Pro všechna číslo x platí, že dělení x číslem 0 je nevlastní.
Návod: Použijte Improper/(1): množina konstrukcí v-nevlastních pro každou valuaci
v.
4. Určete, se kterou konstrukcí je daná konstrukce v(/x)-kongruentní, tj. v-konstruuje
stejný objekt pro valuaci, která přiřadí proměnné x číslo :
[0
Sub [0
Tr x] 0
y 0
[0
Sin y]]
2
[0
Sub [0
Tr x] 0
y 0
[0
Sin y]]