Junction
A junction (from the Latin iungere “to link, connect”) is a logical connection between statements within the propositional logic , ie a logical operator . Junctions are also called connective, connectors, sentence operators, sentence links, sentence links, propositional links, logical connective words, linking symbols or functors and classified as logical particles .
Linguistically, there is often no distinction between the respective link itself (for example the conjunction ) and the word or linguistic sign that characterizes it (for example the word “and” or the sign “∧”).
In programming languages , propositional logics are also used, but they differ in essential points from the usual propositional logics. There they are mainly referred to as logical operators .
Linking statements
In (formal) logic , a statement that is composed of other statements with the help of particles such as “and”, “or”, “if – then” and “it is not the case that” is called complex or compound Statement or as a link to statements . A statement that is not composed of other statements is called an atomic statement .
Example: When Anna vacation has, then she goes to the sea.
The question of which of the theoretically possible connectives should be used for a logical system is  of course beyond the requirement of functional completeness  of a purely pragmatic nature. In classical propositional logic (see classical logic ) the following junctions are most common (related to two statements and ):
 the negation corresponds to a negation
 the material implication , also called subjunction or conditional , corresponds to the sufficient condition "(already) if P, then Q"
 the biconditional , also called bisubjunction or equivalence , corresponds to a sufficient and necessary condition, "Q if and only if P"
 the conjunction , the logical and: "Both P and Q"
 the disjunction , the inclusive or: "Either P or Q or both"
Extensionality
An operator is called truthfunctional or extensional if the truth value of a compound sentence formed by it is uniquely determined by the truth values of its subsentences. The connectives of classical propositional logic are extensional in this sense. For a more precise definition of extensionality see the extensionality principle .
Truth tables


" " And " " are any two statements, " " stands for the connection as a logical operation, " " for truth value, "w" for the truth value "the true", "f" for the truth value "the false". 
The socalled truth tables are a method to clearly display the truth value curve of extensional connectives in a logic with a finite number of truth values . In these, the truth value of the overall statement is specified in each line for an overall statement made up of individual statements using the junction for every possible assignment of truth values to the individual statements . For a twodigit join of a twodigit logic, a truth table could look like the table on the right:
Possible junctions
The number of statements that (or with which) an operator connects to a new statement is called its arity : A onedigit operator connects to a single statement to make a new statement, and twodigit joins to two statements to make a new statement and so on. In general, an ndigit juncture combines with n statements to form a new one.
The arity is not to be confused with the value, i. H. with the question of how many truth values are permitted (see principle of bivalence ).
In classical logic , the most important singledigit juncture is the negation . Important twodigit joiners are the conjunction and the disjunction (often only these two are used). Classic three and multidigit junctions can also be traced back to combinations of one and twodigit junctions.
In general, for value logic, i. H. for a logic with finitely many truth values, the number of which is m, digit truthfunctional connectives. For the twovalued propositional logic there are therefore singledigit connectors and twodigit connectors. Even for the threevalue propositional logic there are singledigit and twodigit connectives.
The sixteen twodigit junctions of the twovalued logic are shown in the table below.

Table of the twodigit joiners of a twovalued logic Names Truth values Symbols formula w w w f f w f f Contradiction f f f f conjunction w f f f Post section, P only f w f f , Prependency, identity of P w w f f Presection, Q only f f w f , Post pendenz, identity of Q w f w f Contravalence , exclusive disjunction, XOR f w w f , , , , Disjunction , adjunction w w w f Peirce function , NOR, nihilition, rejection f f f w , Biconditional , Bijunktion , equivalence w f f w , Postnon pendency, negation of Q f w f w Replication w w f w , Prenon pendency, negation of P f f w w Subjunction , implication , conditional w f w w , Sheffer function , NAND , exclusion f w w w , , tautology w w w w Reducibility and functional completeness
It is possible to express individual links through others; For example, the conjunction can be expressed by disjunction and negation as or conditional by the disjunction . In general, a set of connectives related to a logical system is called functionally complete or semantically complete if all other connective of the logical system can be expressed with the help of the connective concerned. For example, for classical propositional logic, the sets of junctions , and are functionally complete. This means that all connectives in classical propositional logic can be traced back to negation and conjunction, negation and disjunction, or negation and conditional. Junktorenmengen commonly used are , , .
In fact, it is possible to represent all links with the help of a single link, namely with the Sheffer function (NAND), but also with the Peirce function (NOR).
Sheffer operators
When dealing with a joint alone, i.e. H. express all other junctures without adding any further junctions, then this juncture is called the Sheffer operator or Sheffer function (after Henry Maurice Sheffer ). There are exactly two Sheffer operators for classical propositional logic: the Sheffer's dash , also called NAND ( or ) and the Peirce operator , also called NOR .
Intensional operators
Logical operators in which the truth value of a sentence formed from them is not uniquely determined by the truth values of their subclauses are called intentional joiners . Intensional are e.g. B. the onedigit modal operators “it is necessary that” and “it is possible that” (see modal logic ): The fact that a statement is true does not mean that this statement is also necessary. That a statement is wrong does not mean that it is impossible. The modalities therefore cannot be dealt with truthfunctionally.
For the interpretation of intensional connectives one needs more complex models than the extensional truth tables. The first significant formal semantics of intensional joiners is probably the Kripke semantics originally developed by Saul Aaron Kripke for the interpretation of modal logic (see modal logic ). Kripke semantics are also suitable for interpreting intuitionist logic.
Examples
Truth table for conjunction
in twovalued classical logicTruth table for disjunction
in twovalued classical logicTruth table for the material implication
in twovalued classical logicTruth table for the conjunctor
in the threevalued logic Ł3
by Jan Łukasiewicz (1920)true true true true not correct not correct not correct true not correct not correct not correct not correct true true true true not correct true not correct true true not correct not correct not correct true true true true not correct not correct not correct true true not correct not correct true 1 1 1 1 ½ ½ 1 0 0 ½ 1 ½ ½ ½ ½ ½ 0 0 0 1 0 0 ½ 0 0 0 0 Truth table for the conjunctor
in the threevalued logic B3
by Dimitri Analtoljewitsch Bočvar (1938)In dialogic logic 1 1 1 1 ½ ½ 1 0 0 ½ 1 ½ ½ ½ ½ ½ 0 ½ 0 1 0 0 ½ ½ 0 0 0 opponent Proponent The subjunctive assertion is attacked according to the subjunctive rule : The preceding one is asserted. The following is mentioned as a defense , this can be defended by adopting the previous line. Depending on the rule set, the statement can be attacked first. Web links
Wikibooks: Math for nonfreaks: Junktor  learning and teaching materialsWiktionary: Junktor  explanations of meanings, word origins, synonyms, translations