Logische Konjunktion

Logische Konjunktion
UND
Definition
Wahrheitstabelle
Logik -Tor
Normale Formen
Disjunktiv
Konjunktiv
Zhegalkin Polynom
Posts Gitter
0-Präserving	Jawohl
1-Präserving	Jawohl
Monoton	nein
Befriedigung	nein

Venn-Diagramm von

A\land B\land C

Im Logik, Mathematik und Linguistik, Und ( ${\ displayStyle \ Wedge}$ ) ist der Wahrheitsfunktional operator of logische Konjunktion; das und of a set of operands is true if and only if alle of its operands are true. Das Logische Binde that represents this operator is typically written as ${\ displayStyle \ Wedge}$ oder $\cdot$ .^[1]^[2]

$A\land B$ is true if and only if ${\ displayStyle a}$ ist wahr und ${\ displayStyle B}$ ist wahr.

An operand of a conjunction is a Konjunkt.

Beyond logic, the term "conjunction" also refers to similar concepts in other fields:

Im Natürliche Sprache, das Bezeichnung of expressions such as Englisch "und".
Im Programmiersprachen, das short-circuit and control structure.
Im Mengenlehre, Überschneidung.
Im Gittertheorie, logical conjunction (greatest lower bound).
Im Prädikatlogik, Universelle Quantifizierung.

Notation

Und is usually denoted by an infix operator: in mathematics and logic, it is denoted by ${\ displayStyle \ Wedge}$ ,^[2] $&$ oder $\times$ ; in electronics, $\cdot$ ; and in programming languages, &, &&, oder und. Im Jan łukasiewicz's Präfixnotation für die Logik, der Bediener ist K, for Polish koniunkcja.^[3]

Definition

Logische Konjunktion ist ein Betrieb auf zwei logische Werte, typically the values of two Aussagen, that produces a value of Stimmt dann und nur dann, wenn both of its operands are true.^[1]^[2]

The conjunctive Identität is true, which is to say that AND-ing an expression with true will never change the value of the expression. In keeping with the concept of leere Wahrheit, when conjunction is defined as an operator or function of arbitrary Arity, the empty conjunction (AND-ing over an empty set of operands) is often defined as having the result true.

Wahrheitstabelle

Conjunctions of the arguments on the left — The Stimmt bisschens form a Sierpinski -Dreieck.

Das Wahrheitstabelle von $A\land B$ :^[1]^[2]

${\ displayStyle a}$	${\ displayStyle B}$	$A\wedge B$
WAHR	WAHR	WAHR
WAHR	FALSCH	FALSCH
FALSCH	WAHR	FALSCH
FALSCH	FALSCH	FALSCH

Definiert von anderen Betreibern

In systems where logical conjunction is not a primitive, it may be defined as^[4]

A\land B=\neg (A\to \neg B)

oder

A\land B=\neg (\neg A\lor \neg B).

Introduction and elimination rules

As a rule of inference, Konjunktion Einführung is a classically gültig, einfach Argumentform. The argument form has two premises, A und B. Intuitively, it permits the inference of their conjunction.

A,

B.

Deswegen, A und B.

oder in logical operator Notation:

{\ displayStyle a,}

{\ displayStyle B}

\vdash A\land B

Here is an example of an argument that fits the form Konjunktion Einführung:

Bob likes apples.

Bob likes oranges.

Therefore, Bob likes apples and Bob likes oranges.

Konjunktion der Eliminierung is another classically gültig, einfach Argumentform. Intuitively, it permits the inference from any conjunction of either element of that conjunction.

A und B.

Deswegen, A.

...oder alternativ,

A und B.

Deswegen, B.

Im logical operator Notation:

A\land B

\vdash A

...oder alternativ,

A\land B

\vdash B

Negation

Definition

A conjunction $A\land B$ is proven false by establishing either ${\ displayStyle \ neg a}$ oder $\neg B$ . In terms of the object language, this reads

\neg A\to \neg (A\land B)

This formula can be seen as a special case of

(A\to C)\to ((A\land B)\to C)

Wenn ${\ displayStyle c}$ is a false proposition.

Other proof strategies

Wenn ${\ displayStyle a}$ impliziert $\neg B$ dann beides ${\ displayStyle \ neg a}$ ebenso gut wie ${\ displayStyle a}$ prove the conjunction false:

(A\to \neg {}B)\to \neg (A\land B)

In other words, a conjunction can actually be proven false just by knowing about the relation of its conjuncts, and not necessary about their truth values.

This formula can be seen as a special case of

(A\to (B\to C))\to ((A\land B)\to C)

Wenn ${\ displayStyle c}$ is a false proposition.

Either of the above are constructively valid proofs by contradiction.

Eigenschaften

Amtativität: Jawohl

$A\land B$	${\ displayStyle \ leftrightarrow}$	$B\land A$
	${\ displayStyle \ leftrightarrow}$

Assoziativität: Jawohl

$~A$	$~~~\land ~~~$	$(B\land C)$	${\ displayStyle \ leftrightarrow}$			$(A\land B)$	$~~~\land ~~~$	$~C$
	$~~~\land ~~~$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ leftrightarrow}$		$~~~\land ~~~$

Verbreitung: with various operations, especially with oder

$~A$	${\ displayStyle \ Land}$	$(B\lor C)$	${\ displayStyle \ leftrightarrow}$			$(A\land B)$	${\ displayStyle \ lor}$	$(A\land C)$
	${\ displayStyle \ Land}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ lor}$

Andere

mit Exklusiv oder:

$~A$	${\ displayStyle \ Land}$	$(B\oplus C)$	${\ displayStyle \ leftrightarrow}$			$(A\land B)$	${\ displayStyle \ oplus}$	$(A\land C)$
	${\ displayStyle \ Land}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ oplus}$

mit Material Nichtimplikation:

$~A$	${\ displayStyle \ Land}$	$(B\nrightarrow C)$	${\ displayStyle \ leftrightarrow}$			$(A\land B)$	${\ displayStyle \ nrightarrow}$	$(A\land C)$
	${\ displayStyle \ Land}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ nrightarrow}$

with itself:

$~A$	${\ displayStyle \ Land}$	$(B\land C)$	${\ displayStyle \ leftrightarrow}$			$(A\land B)$	${\ displayStyle \ Land}$	$(A\land C)$
	${\ displayStyle \ Land}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ Land}$

idempotenz: Jawohl

$~A~$	$~\land ~$	$~A~$	${\ displayStyle \ leftrightarrow}$	$A~$
	$~\land ~$		${\ displayStyle \ leftrightarrow}$

monotonicity: Jawohl

${\ displayStyle a \ rightarrow b}$	${\ displayStyle \ rightarrow}$			$(A\land C)$	${\ displayStyle \ rightarrow}$	$(B\land C)$
	${\ displayStyle \ rightarrow}$		${\ displayStyle \ leftrightarrow}$		${\ displayStyle \ rightarrow}$

truth-preserving: yes
When all inputs are true, the output is true.

$A\land B$	${\ displayStyle \ rightarrow}$	$A\land B$
	${\ displayStyle \ rightarrow}$
		(getestet werden)

falsehood-preserving: yes
When all inputs are false, the output is false.

$A\land B$	${\ displayStyle \ rightarrow}$	${\ displayStyle a \ lor b}$
	${\ displayStyle \ rightarrow}$
(getestet werden)

Walsh spectrum: (1,-1,-1,1)

NichtLinearität: 1 (the function is gebogen))

If using binär values for true (1) and false (0), then logische Konjunktion works exactly like normal arithmetic Multiplikation.

Applications in computer engineering

UND Logik -Tor

In high-level computer programming and Digitale Elektronik, logical conjunction is commonly represented by an infix operator, usually as a keyword such as "UND", an algebraic multiplication, or the ampersand symbol & (sometimes doubled as in &&). Many languages also provide Kurzschluss control structures corresponding to logical conjunction.

Logical conjunction is often used for bitwise operations, where 0 corresponds to false and 1 to true:

0 AND 0 = 0,
0 AND 1 = 0,
1 AND 0 = 0,
1 AND 1 = 1.

The operation can also be applied to two binary Wörter angesehen als Bitstrings of equal length, by taking the bitwise AND of each pair of bits at corresponding positions. Zum Beispiel:

11000110 AND 10100011 = 10000010.

This can be used to select part of a bitstring using a bit mask. Zum Beispiel, 10011101 AND 00001000 = 00001000 extracts the fifth bit of an 8-bit bitstring.

Im Computernetzwerk, bit masks are used to derive the network address of a Subnetz within an existing network from a given IP Adresse, by ANDing the IP address and the Subnetzmaske.

Logical conjunction "UND" is also used in Sql operations to form Datenbank Abfragen.

Das Curry -Howard -Korrespondenz relates logical conjunction to product types.

Set-theoretic correspondence

The membership of an element of an intersection set in Mengenlehre is defined in terms of a logical conjunction: x ∈ A ∩ B dann und nur dann, wenn (x ∈ A) ∧ (x ∈ B). Through this correspondence, set-theoretic intersection shares several properties with logical conjunction, such as Assoziativität, Amtativität und idempotenz.

Natürliche Sprache

As with other notions formalized in mathematical logic, the logical conjunction und is related to, but not the same as, the grammatical conjunction und in natural languages.

Englisch "und" hat Eigenschaften, die nicht durch logische Konjunktion erfasst wurden.Zum Beispiel "und" impliziert manchmal Ordnung mit dem Sinn von "dann".Zum Beispiel bedeutet "Sie haben geheiratet und hatten ein Kind" im gemeinsamen Diskurs, dass die Ehe vor dem Kind kam.

The word "and" can also imply a partition of a thing into parts, as "The American flag is red, white, and blue." Here, it is not meant that the flag is auf einmal Rot, Weiß und Blau, sondern dass es einen Teil jeder Farbe hat.

Siehe auch

Verweise

^ ^a ^b ^c "Konjunktion, Negation und Disjunktion". Philosophie.Lander.edu. Abgerufen 2020-09-02.
^ ^a ^b ^c ^d "2.2: Konjunktionen und Disjunktionen". Mathematiklibretenexte. 2019-08-13. Abgerufen 2020-09-02.
^ Józef Maria Bocheński (1959), Eine Précis mathematischer Logik, übersetzt von Otto Bird aus den französischen und deutschen Ausgaben, Dordrecht, South Holland: D. Reidel, passim.
^ Smith, Peter. "Arten von Proof -Systemen" (PDF). p. 4.

Externe Links

"Verbindung", Enzyklopädie der Mathematik, EMS Press, 2001 [1994]
Wolfram Mathworld: Konjunktion
"Eigenschaft und Wahrheitstabelle und Aussagen". Archiviert von das Original am 6. Mai 2017.

[:1-1] "Konjunktion, Negation und Disjunktion". Philosophie.Lander.edu. Abgerufen 2020-09-02.

[:2-2] "2.2: Konjunktionen und Disjunktionen". Mathematiklibretenexte. 2019-08-13. Abgerufen 2020-09-02.

[3] Józef Maria Bocheński (1959), Eine Précis mathematischer Logik, übersetzt von Otto Bird aus den französischen und deutschen Ausgaben, Dordrecht, South Holland: D. Reidel, passim.

[4] Smith, Peter. "Arten von Proof -Systemen" (PDF). p. 4.

[1]

[2]

[3]

[4]

Logische Verbindungen
Tautologie/WAHR ${\ displayStyle \ top}$
Alternative Ablehnung(NAND -Tor)) ${\ displayStyle \ Uparrow}$ Konverse Implikation ${\ displayStyle \ Leftarrow}$ Implikation(Tor implizieren)) ${\ displayStyle \ rightarrow}$ Disjunktion(Oder Tor)) ${\ displayStyle \ lor}$
Negation(Kein Tor)) ${\ displayStyle \ neg}$ Exklusiv oder(XOR -Tor)) ${\ displayStyle \ nicht \ leftrightarrow}$ Zweikonditionell(Xnor -Tor)) ${\ displayStyle \ leftrightarrow}$ Aussage(Digitalpuffer)
Gemeinsame Ablehnung(Noch Tor)) ${\ displayStyle \ Downarrow}$ Nichtimplikation(Feines Tor)) ${\ displayStyle \ nrightarrow}$ Konverse Nichtimplikation ${\ displayStyle \ nleftarrow}$ Verbindung(Und Tor)) ${\ displayStyle \ Land}$
Widerspruch/FALSCH ${\ displayStyle \ bot}$
Philosophieportal

UND

Definition	${\ displayStyle xy}$
Wahrheitstabelle	$(0001)$
Logik -Tor
Normale Formen
Disjunktiv	${\ displayStyle xy}$
Konjunktiv	${\ displayStyle xy}$
Zhegalkin Polynom	${\ displayStyle xy}$
Posts Gitter
0-Präserving	Jawohl
1-Präserving	Jawohl
Monoton	nein
Befriedigung	nein