WordNet: lauselogiikka, propositiologiikka

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

• hypernym formaalinen logiikka, matemaattinen logiikka, symbolinen logiikka

lauselogiikka

• (englanti) propositional calculus (synonyymi)

propositiologiikka

• (englanti) propositional logic (synonyymi)