Propozicionala logiko es parto di matematikala logiko pri explorar relati inter variebli o formuli propozicionala, kreita per frazala kunjunti de frazi logikala o min simpla propozicionala formuli.