Výroková (matematická) logika je vyjadřovací prostředek matematiky, s nímž se můžeme setkat v různé terminologii a ve všemožných matematických i nematematických schematech. Pomůže nám zvládnout i testy Scio a TSP.