Registrácia | Prihlásiť

Prednášky: Výroková logika - prednášky

Skryť detaily | Obľúbený
Náhľady Náhľady
Ukážka:

Výrok je spravidla oznamovacia veta, ktorá má pravdivostnú hodnotu, t.j. je pravdivá alebo nepravdivá. Výrazy, ktoré nie sú vetami (ako napr. indivíduové mená, predikáty) ale aj vety, ktoré nie sú oznamovacími vetami (napr. otázky, rozkazy) nie sú výroky.
Hodnotenie (0x):