propositional formula

Also known as propositional expression, sentence, sential formula, sentential formula, proposition

type of logical formula in propositional logic