Need synonyms for propositional logics? Here's a list of similar words from our thesaurus that you can use instead.
Noun
Plural for a formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives