[LiTM] 3. Postać koniunkcyjno-alternatywna i alternatywno-koniunkcyjna formuły

Logika i Teoria Mnogości - Postać Koniunkcyjno-alternatywna i Alternatywno-koniunkcyjna Formuły. W dzisiejszym odcinku dowiecie się czym jest postać koniunkcyjno-alternatywna oraz alternatywno-koniunkcyjna (tzw. postacie normalne). Nauczycie się jak sprowadzać formuły logiczne do takich postaci oraz jak przy ich pomocy wnioskować czy dana formuła jest tautologią. Materiał kierowany głównie do studentów pierwszych lat studiów oraz do uczniów szkół średnich zainteresowanych matematyką. Literatura: "Wstęp do teorii mnogości i topologii" autorstwa: Kazimierz Kuratowski "Elementy logiki i teorii mnogości w zadaniach" autorstwa: Wiktor Marek, Janusz Onyszkiewicz Jeśli masz uwagi lub propozycje tematów jakie warto byłoby poruszyć - daj znać!