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ží.