1. ZÁKLADY VÝROKOVÉ LOGIKY