Logical connective
Symbol connecting formulas in logic
Logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies one or more logical variables or formulas, similarly to how arithmetic connectives like + {\displaystyle +} and − {\displaystyle -} combine or negate arithmetic expressions. For instance, in the syntax of propositional logic, the binary connective ∨ {\displaystyle \lor } (meaning "or") can be used to join the two logical formulas P {\displaystyle P} and Q {\displaystyle Q} , producing the complex formula P ∨ Q {\displaystyle P\lor Q} . Unlike in algebra, there are many symbols in use for each logical connective. The table "Logical connectives" shows examples. Common...
Read on Wikipedia · Image Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck"., Public domain
Open boosters, collect cards and trade them. Free to play.
Play for free