Co jsou výroky, jak fungují logické spojky a proč je logika základem kritického myšlení i informatiky? Vysvětlíme principy pravdivostních hodnot, tautologií a ukážeme praktické využití výrokové logiky.