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 t[t][w].

Můžeme je zkonstruovat takto:
lwlt [^0Teplota[wt] ^0Amsterdam], lwlt [^0Teplota[wt] ^0Praha], kde Teplota(_v_něčeho)/(ti)[t][w].



2.      Dokažte platnost úsudku:
Primátor Ostravy navštívil Brno.

––––––––––––––––––––––––––––––––––––––––

Primátor Ostravy existuje.

3.      Analyzujte:

Pro všechna číslo x platí, že dělení x číslem 0 je nevlastní.
Návod: Použijte Improper/(o*[1]): množina konstrukcí v-nevlastních pro každou valuaci v.