Výuka logiky
Úvod
Kapitoly
Nápověda
Testy
Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82 Notice: Use of undefined constant nazev - assumed 'nazev' in /srv/beegfs/web/web/kdm/diplomky/moravecdp/uvod-anonym.incl on line 82
NAHORU

Test Warning: mysql_select_db() expects parameter 1 to be string, resource given in /srv/beegfs/web/web/kdm/diplomky/moravecdp/testy.php on line 15 4 – Kvantifikátory


1. Existenční kvantifikátor značíme:

 

 

 Jinak.


2. Obecný kvantifikátor obvykle čteme:

 „Pro každé…“

 „Existuje…“


3. Které z následujících vět lze považovat za výrok:

 Letadlo právě letí do Bratislavy.

 Existuje letadlo, které právě letí do Bratislavy.

 Existuje helikoptéra, která právě letí do Bratislavy.

 Existuje letadlo, které právě neletí do Bratislavy.


4. Rozhodněte, které z daných zápisů lze považovat za výrok:

 x + 10 = 15

 (x): x ≤ y

 (x)(y): x + 10 = y

 (x): x ≤ 15


5. Rozhodněte, která z následujících vět je pravdivý výrok:

 Trojúhelník je pravoúhlý.

 Každý trojúhelník je pravoúhlý.

 Existuje trojúhelník, který není pravoúhlý.


6. Rozhodněte, které z daných zápisů lze považovat za nepravdivý výrok:

 (x): x · 10 = 1

 (x)(y): x + y = 20

 (x)(y): x + y = 30


7. Negací výroku (x): (x + 1 < x + 2)  (x + 2 < x + 3) je:

 (x): (x + 1 < x + 2)  (x + 2 < x + 3)

 (x): (x + 1 ≥ x + 2)  (x + 2 ≥ x + 3)

 (x): (x + 1 ≥ x + 2)  (x + 2 ≥ x + 3)