Učivo

Výroková logika

Výrok je jakékoliv tvrzení u kterého je možné říct, zda je pravdivé nebo ne. Je to jednoduše oznamovací věta u které jsme schopni odpovědět ano/ne.
Pravdivé výroky značíme 1.
Nepravdivé výroky značíme 0.

Například:
"Spolužák Franta má k svačině knedlo vepřo zelo." je výrok
"Spolužák má k svačině knedlo vepřo zelo." není výrok (nevíme který spolužák přesně neumíme tedy odpovědět ano/ne)
"Český král Karel IV měl 1. 3. 1350 rýmu." je výrok (umíme odpovědět ano/ne, ale jestli tu rýmu vážně měl, bychom určili jen pomoci stroje času)

Shrnutí:
Výrok je oznamovací věta, u které umíme jednoznačně odpovědět ano/ne. Na pravdivosti věty v tuto chvíli nezáleží.

1 / 21

Urči, který z výrazů je výrok.