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. Obecný kvantifikátor značíme:

 

 

 Jinak.


2. Existenční kvantifikátor obvykle čteme:

 „Pro každé…“

 „Existuje…“


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

 Věž je vysoká 20 metrů.

 Existuje věž, která není vysoká 20 metrů.

 Existuje věž, která je vysoká 20 metrů.

 Existuje věž, které je vysoká 5 centimetrů.


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:

 Každé reálné číslo lze zapsat zlomkem.

 Existuje reálné číslo, které lze zapsat zlomkem.

 Číslo x lze napsat zlomkem.


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< 0  x2 > 0 je:

 (x): x≥ 0  x2 ≤ 0

 (x): x≥ 0  x2 ≤ 0

 (x): x< 0  x2 > 0