WordNet: formaalinen logiikka, matemaattinen logiikka, symbolinen logiikka

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

• hypernym looginen järjestelmä, loogisuus

• hyponym Boolen algebra, Boolen logiikka

• hyponym lauselogiikka, propositiologiikka

• hyponym predikaattilogiikka

• hyponym modaalilogiikka

• hyponym sumea logiikka

formaalinen logiikka

• (englanti) formal logic (synonyymi)

matemaattinen logiikka

• (englanti) mathematical logic (synonyymi)

symbolinen logiikka

• (englanti) symbolic logic (synonyymi)