Přednášky Zadání teoretických otázek a úkolů Řešení teoretických otázek a úkolů

1 Základní pojmy

Č.	Otázky
1.	Co rozumíme pod pojmem „výrok“?
2.	Jak nazýváme sdělení, o kterém lze rozhodnout, zda je pravdivé či nepravdivé, přičemž nastane jediná z obou možností?
3.	Co rozumíme pod pojmem „pravdivostní hodnota výroku“?
4.	Jaké existují pravdivostní hodnoty, které lze přiřadit výroku?
5.	Kolik pravdivostních hodnot můžeme současně přiřadit výroku?
6.	Jak nazýváme výrok s pravdivostní hodnotou 1?
7.	Jak nazýváme výrok s pravdivostní hodnotou 0?
8.	Jakou pravdivostní hodnotu přiřazujeme pravdivému výroku?
9.	Jakou pravdivostní hodnotu přiřazujeme nepravdivému výroku?
10.	Co rozumíme pod pojmem „výroková forma“?
11.	Jak nazýváme sdělení, které se stává výrokem, když za proměnné dosadíme konstanty?
12.	Co rozumíme pod pojmem „definiční obor výrokové formy“?
13.	Jak nazveme soubor všech hodnot proměnných, které mění výrokovou formu na výrok?
14.	Co rozumíme pod pojmem „obor pravdivosti výrokové formy“?
15.	Jak nazveme soubor všech hodnot proměnných, které mění výrokovou formu na výrok pravdivý?
16.	Co vznikne z výrokové formy, když za proměnné dosadíme konstanty, které se nacházejí v definičním oboru dané výrokové formy?
17.	Co vznikne z výrokové formy, když za proměnné dosadíme konstanty, které se nacházejí v definičním oboru dané výrokové formy, a jsou z jejího oboru pravdivosti?
18.	Co vznikne z výrokové formy, když za proměnné dosadíme konstanty, které se nacházejí v definičním oboru dané výrokové formy, ale nejsou z jejího oboru pravdivosti?

Č.	Úkoly
1.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu.
2.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu.
3.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu.
4.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Otevřete si skripta na straně 10!
5.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Dopravní fakulta Jana Pernera je jednou z fakult Univerzity Pardubice.
6.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Strojní fakulta Jana Kašpara je jednou z fakult Univerzity Pardubice.
7.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Jaké je dnes počasí?
8.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Funkce je definována pro všechna reálná čísla.
9.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Funkce je definována pro všechna reálná čísla.
10.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu.
11.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Student, který je zapsaný ke studiu na Univerzitě Pardubice, je studentem Dopravní fakulty Jana Pernera.
12.	Rozhodněte, je-li následující tvrzení výrok, nebo výroková forma. Výroku přiřaďte pravdivostní hodnotu. Každý student, který je zapsaný ke studiu na Univerzitě Pardubice, je studentem Dopravní fakulty Jana Pernera.
13.	Napište pravdivostní hodnotu výroku .
14.	Napište pravdivostní hodnotu výroku .
15.	Napište pravdivostní hodnotu výroku .
16.	Napište pravdivostní hodnotu výroku .
17.	Napište pravdivostní hodnotu výroku .
18.	Napište pravdivostní hodnotu výroku .
19.	Vytvořte negaci výroku.
20.	Vytvořte negaci výroku. Funkce je definována pro všechna reálná kladná čísla, tj. pro .
21.	Vytvořte negaci výroku. Student složil zkoušku z předmětu Matematika 1.
22.	Vytvořte negaci výroku. Soutok Labe a Chrudimky není v Pardubicích.
23.	Určete definiční obor a obor pravdivosti výrokové formy.
24.	Určete definiční obor a obor pravdivosti výrokové formy.
25.	Určete definiční obor a obor pravdivosti výrokové formy. Student, který je zapsaný ke studiu na Univerzitě Pardubice, je studentem Dopravní fakulty Jana Pernera.
26.	Napište definiční obor výrokové formy .
27.	Napište definiční obor výrokové formy .
28.	Napište definiční obor výrokové formy .
29.	Napište definiční obor výrokové formy .
30.	Napište definiční obor výrokové formy .
31.	Napište definiční obor výrokové formy .
32.	Napište definiční obor výrokové formy .
33.	Napište definiční obor výrokové formy .
34.	Napište definiční obor výrokové formy .
35.	Napište obor pravdivosti výrokové formy .
36.	Napište obor pravdivosti výrokové formy .
37.	Napište obor pravdivosti výrokové formy .
38.	Napište obor pravdivosti výrokové formy .
39.	Napište obor pravdivosti výrokové formy .
40.	Napište obor pravdivosti výrokové formy .
41.	Napište obor pravdivosti výrokové formy .
42.	Napište obor pravdivosti výrokové formy .
43.	Napište obor pravdivosti výrokové formy .