Logika je veda, ktorá sa zaoberá usudzovaním, pravdivosťou, dokázateľnosťou a vyvrátiteľnosťou. Základom výrokovej logiky je výrok, ktorým je každá oznamovacia veta, ku ktorej môžeme priradiť jej pravdivostnú hodnotu. Čislom 1 označujeme pravdu, t.j., keď výrok platí, napríklad: Vladimírko je super = 1. Nepravdu označujeme ako 0. Napríklad: Vladimírko má ploché nohy = 0.
Logika operuje s tzv. výrokovými spojkami, ktorými sú: konjunkcia, disjunkcia, implikácia, ekvivalencia a negácia. Aby ste dnes stihli dopliesť korbáč a naaranžovať kraslice, pred samotným testom iba skonštatujem, že Vladimírkovi prináša ohromnú radosť najmä správna aplikácia negácie v hovorovej reči. Príklad: na parkovisku pred hypermarketom ku Vladimírkovi pristúpi zanedbaná osoba a takto k nemu prehovorí: „Kamarát, nemáš jednu cigaretu?“ Vladimírko sa narovná od urovnávania krabíc s mliekom v kufri automobilu a odpovedá: „Áno.“ Pokračuje vo vyrovnávaní krabíc, pričom výmenu informácií pokladá za logicky ukončenú. Ale osoba, ktorá ho na parkovisku oslovila, trochu zmätená, vyčkáva na vyústenie pre ňu pozitívnej odpovede.
A teraz, sľúbený test: Za predpokladu, že na obrázku vidíme „otváracie hodiny“, má výrok o pondelku hodnotu 1, alebo 0?
