Propositional calculus

branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components

Mathematical table used in logic

logical formula which is true in every possible interpretation

fundamental concept in logic

concept of mathematical logic

in logic, disjunction of literals

in logic, rule of inference

mathematical representation of truth or falsehood

in logic, atomic formula (atom) or its negation

type of logical formula in propositional logic

term

property of a set of logical connectives which can express all possible truth tables by combining members of the set

propositional logic extending intuitionistic logic

concept in logic; syntactic transformation on formal expressions

inference rule that may be applied to only a particular segment of an expression

rule for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language