GlossarWiki:Objektsprache - Versionsgeschichte

Kowa am 29. April 2019 um 16:42 Uhr

2019-04-29T16:42:36Z

← Nächstältere Version		Version vom 29. April 2019, 16:42 Uhr
Zeile 5:		Zeile 5:

	Die Formeln der Objekt- un der Metaspache unterscheiden sich nicht. Falls es nötig sein sollte, zwischen		Die Formeln der Objekt- un der Metaspache unterscheiden sich nicht. Falls es nötig sein sollte, zwischen
	beiden Sprachen zu unterscheiden, werden Ausdrücke und Formeln in Anlenhnung an Glubrecht et al. (1983)<ref>{{Quelle\|Glubrecht, Oberschelp, Todt (1983)}}</ref><~~br/~~>~~in Klammern $~~\ulcorner$ und $\urcorner$ gesetzt.		beiden Sprachen zu unterscheiden, werden Ausdrücke und Formeln in Anlenhnung an Glubrecht et al. (1983)<ref>{{Quelle\|Glubrecht, Oberschelp, Todt (1983)}}</ref> in Klammern <math>\ulcorner</math> und <math>\urcorner</math> gesetzt.
	==Junktoren==		==Junktoren==

Zeile 14:		Zeile 14:
	! Namen !! Symbol !! style="border-left: 2px solid #000;" \| Wahrheitswerte		! Namen !! Symbol !! style="border-left: 2px solid #000;" \| Wahrheitswerte
	\|- style="border-bottom: 2px solid #000;"		\|- style="border-bottom: 2px solid #000;"
	\| '''[[Verum]]''' \|\| $\top$ \|\| style="text-align:center; border-left: 2px solid #000;" \| T		\| '''[[Verum]]''' \|\| <math>\top</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T
	\|-		\|-
	\| '''[[Falsum]]''' \|\| $\bot$ \|\| style="text-align:center; border-left: 2px solid #000;" \| F		\| '''[[Falsum]]''' \|\| <math>\bot</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F
	\|}		\|}
	<div style="clear:both"></div>		<div style="clear:both"></div>
Zeile 93:		Zeile 93:
	<div style="clear:both"></div>		<div style="clear:both"></div>

	Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.		Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] (<math>a \wedge b</math>) und nicht in [[Präfixnotation]] (<math>\wedge(a,b)</math>) geschrieben.
	Wenn dabei auf Klammern verzichtet wird, gilt die Rangfolge gemäß obiger Tabelle: $\wedge$ bindet enger als $\vee$ etc. Das heißt,		Wenn dabei auf Klammern verzichtet wird, gilt die Rangfolge gemäß obiger Tabelle: <math>\wedge</math> bindet enger als <math>\vee</math> etc. Das heißt,
	$a \vee b \wedge c$ ist eine Abkürzung für $(a \vee (b \wedge c))$.		$a \vee b \wedge c$ ist eine Abkürzung für $(a \vee (b \wedge c))$.

	Die Präfixnotation kann für mehr als zwei Elemente verallgemeinert werden:		Die Präfixnotation kann für mehr als zwei Elemente verallgemeinert werden:
	<div class="formula">$\wedge(a,b,c) := \wedge(\wedge(a,b), c)$, $\wedge(a,b,c,d) := \wedge(\wedge(\wedge(a,b), c),d)$ etc.</div>		<div class="formula"><math>\wedge(a,b,c) := \wedge(\wedge(a,b), c)</math>, <math>\wedge(a,b,c,d) := \wedge(\wedge(\wedge(a,b), c),d)</math> etc.</div>
	Analog gilt dies auch für alle anderen zweistelligen Junktoren.		Analog gilt dies auch für alle anderen zweistelligen Junktoren.

Zeile 104:		Zeile 104:
	{\| class="wikitable"		{\| class="wikitable"
	\|-		\|-
	\| $\wedge() := \top$		\| <math>\wedge() := \top</math>
	\|-		\|-
	\| $\wedge(a) := a$ \|\| d.h. $a = \wedge(a) = \wedge(\wedge(), a)$, $\wedge(a, b) =\wedge(\wedge(\wedge(), a), b)$, $\wedge(a, b, c) = \wedge(\wedge( \wedge(\wedge(), a), b), c)$ etc.		\| <math>\wedge(a) := a</math> \|\| d.h. <math>a = \wedge(a) = \wedge(\wedge(), a)</math>, <math>\wedge(a, b) =\wedge(\wedge(\wedge(), a), b)</math>, <math>\wedge(a, b, c) = \wedge(\wedge( \wedge(\wedge(), a), b), c)</math> etc.
	\|-		\|-
	\| $\vee() := \bot$		\| <math>\vee() := \bot</math>
	\|-		\|-
	\| $\vee(a) := a$ \|\| d.h. $a = \vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc.		\| <math>\vee(a) := a</math> \|\| d.h. <math>a = \vee(a) = \vee(\vee(), a)</math>, <math>\vee(a, b) =\vee(\vee(\vee(), a), b)</math>, <math>\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)</math> etc.
	\|}		\|}

Kowa am 9. September 2018 um 11:22 Uhr

2018-09-09T11:22:51Z

← Nächstältere Version		Version vom 9. September 2018, 11:22 Uhr
Zeile 5:		Zeile 5:

	Die Formeln der Objekt- un der Metaspache unterscheiden sich nicht. Falls es nötig sein sollte, zwischen		Die Formeln der Objekt- un der Metaspache unterscheiden sich nicht. Falls es nötig sein sollte, zwischen
	beiden Sprachen zu unterscheiden, werden Ausdrücke und Formeln in Anlenhnung an ~~Gulbrecht~~ et al. (1983)<ref>{{Quelle\|~~Gulbrecht~~, Oberschelp, Todt (1983)}}</ref><br/>in Klammern $\ulcorner$ und $\urcorner$ gesetzt.		beiden Sprachen zu unterscheiden, werden Ausdrücke und Formeln in Anlenhnung an Glubrecht et al. (1983)<ref>{{Quelle\|Glubrecht, Oberschelp, Todt (1983)}}</ref><br/>in Klammern $\ulcorner$ und $\urcorner$ gesetzt.
	==Junktoren==		==Junktoren==

Kowa am 2. August 2016 um 08:53 Uhr

2016-08-02T08:53:55Z

← Nächstältere Version		Version vom 2. August 2016, 08:53 Uhr
Zeile 35:		Zeile 35:
	! Namen !! Symbol<br/>(Präfix)!! Symbol<br/>(Infix) !! colspan="4" style="border-left: 2px solid #000;" \| Wahrheitswerte		! Namen !! Symbol<br/>(Präfix)!! Symbol<br/>(Infix) !! colspan="4" style="border-left: 2px solid #000;" \| Wahrheitswerte
	\|- style="border-bottom: 2px solid #000;"		\|- style="border-bottom: 2px solid #000;"
			\|
	\|		\|
	\|		\|

Kowa am 2. August 2016 um 08:51 Uhr

2016-08-02T08:51:26Z

← Nächstältere Version		Version vom 2. August 2016, 08:51 Uhr
Zeile 4:		Zeile 4:
	Der zweiwertigen Logik liegen in diesem Wiki die beiden Wahrheitswerte T für TRUE/„wahr“ und F für FALSE/„falsch“ zugrunde.		Der zweiwertigen Logik liegen in diesem Wiki die beiden Wahrheitswerte T für TRUE/„wahr“ und F für FALSE/„falsch“ zugrunde.

			Die Formeln der Objekt- un der Metaspache unterscheiden sich nicht. Falls es nötig sein sollte, zwischen
			beiden Sprachen zu unterscheiden, werden Ausdrücke und Formeln in Anlenhnung an Gulbrecht et al. (1983)<ref>{{Quelle\|Gulbrecht, Oberschelp, Todt (1983)}}</ref><br/>in Klammern $\ulcorner$ und $\urcorner$ gesetzt.
	==Junktoren==		==Junktoren==

Zeile 109:		Zeile 111:
	\| $\vee(a) := a$ \|\| d.h. $a = \vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc.		\| $\vee(a) := a$ \|\| d.h. $a = \vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc.
	\|}		\|}

			==Quellen==

			<references/>

Kowa: /* Junktoren */

2016-02-02T19:10:45Z

Junktoren

← Nächstältere Version		Version vom 2. Februar 2016, 19:10 Uhr
Zeile 101:		Zeile 101:
	{\| class="wikitable"		{\| class="wikitable"
	\|-		\|-
	\| $\wedge() := \top~~$ \|\| $\mid() := \bot~~$		\| $\wedge() := \top$
	\|-		\|-
	\| $\wedge(a) := a$ ~~\|\| $\mid(a) := \lnot a$~~ \|\| d.h. $\wedge(a) = \wedge(\wedge(), a)$, $\wedge(a, b) =\wedge(\wedge(\wedge(), a), b)$, $\wedge(a, b, c) = \wedge(\wedge( \wedge(\wedge(), a), b), c)$ etc.		\| $\wedge(a) := a$ \|\| d.h. $a = \wedge(a) = \wedge(\wedge(), a)$, $\wedge(a, b) =\wedge(\wedge(\wedge(), a), b)$, $\wedge(a, b, c) = \wedge(\wedge( \wedge(\wedge(), a), b), c)$ etc.
	\|-		\|-
	\| $\vee() := \bot~~$ \|\| $\overline\vee() := \top~~$		\| $\vee() := \bot$
	\|-		\|-
	\| $\vee(a) := a$ ~~\|\| $\overline\vee(a) := \lnot a$~~ \|\| d.h. $\vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc.		\| $\vee(a) := a$ \|\| d.h. $a = \vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc.
	\|}		\|}

Kowa am 2. Februar 2016 um 19:08 Uhr

2016-02-02T19:08:07Z

← Nächstältere Version		Version vom 2. Februar 2016, 19:08 Uhr
Zeile 99:		Zeile 99:

	Für die Konjunktion und die Disjunktion gibt es noch jeweils zwei weitere Abkürzungen:		Für die Konjunktion und die Disjunktion gibt es noch jeweils zwei weitere Abkürzungen:
	~~<div~~ class="~~formula~~">$\wedge(a) := a$~~</div>~~		{\| class="wikitable"
	~~<div class~~=~~"formula">~~$\~~wedge~~() := \top$~~</div>~~		\|-
	~~<div class~~=~~"formula">~~$\vee(a) := a$~~</div>~~		\| $\wedge() := \top$ \|\| $\mid() := \bot$
	~~<div class~~=~~"formula">~~$\vee() := \~~bot~~$~~</div>~~		\|-
			\| $\wedge(a) := a$ \|\| $\mid(a) := \lnot a$ \|\| d.h. $\wedge(a) = \wedge(\wedge(), a)$, $\wedge(a, b) =\wedge(\wedge(\wedge(), a), b)$, $\wedge(a, b, c) = \wedge(\wedge( \wedge(\wedge(), a), b), c)$ etc.
			\|-
			\| $\vee() := \bot$ \|\| $\overline\vee() := \top$
			\|-
			\| $\vee(a) := a$ \|\| $\overline\vee(a) := \lnot a$ \|\| d.h. $\vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc.
			\|}

Kowa: /* Junktoren */

2016-02-02T18:25:32Z

Junktoren

← Nächstältere Version		Version vom 2. Februar 2016, 18:25 Uhr
Zeile 72:		Zeile 72:
	\| '''[[Konjunktion]]''', '''[[AND]]''' \|\| <math>\wedge(a, b)</math> \|\| <math>a \wedge b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F		\| '''[[Konjunktion]]''', '''[[AND]]''' \|\| <math>\wedge(a, b)</math> \|\| <math>a \wedge b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F
	\|-		\|-
	\| '''[[Disjunktion]]''', '''[[Adjunktion]]''', '''[[OR]]''' \|\| <math>\vee(a, b)</math> \|\| <math>a \vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| W \|\| style="text-align:center" \| W \|\| style="text-align:center" \| F		\| '''[[Disjunktion]]''', '''[[Adjunktion]]''', '''[[OR (Junktor)\|OR]]''' \|\| <math>\vee(a, b)</math> \|\| <math>a \vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| W \|\| style="text-align:center" \| W \|\| style="text-align:center" \| F
	\|-		\|-
	\| '''[[Peirce-Funktion]]''', '''[[NOR]]''' \|\| <math>\overline\vee(a, b)</math> \|\| <math>a \overline\vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T		\| '''[[Peirce-Funktion]]''', '''[[NOR]]''' \|\| <math>\overline\vee(a, b)</math> \|\| <math>a \overline\vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T

Kowa: /* Junktoren */

2016-02-02T18:24:36Z

Junktoren

← Nächstältere Version		Version vom 2. Februar 2016, 18:24 Uhr
Zeile 68:		Zeile 68:
	\|}		\|}
	\|-		\|-
	\| '''[[~~Konjunktion~~]]''' \|\| <math>\~~wedge~~(a, b)</math> \|\| <math>a \~~wedge~~ b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F		\| '''[[Sheffer-Strich]]''', '''[[NAND]]''' \|\| <math>\mid(a, b)</math> \|\| <math>a \mid b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T
	\|-		\|-
	\| '''[[~~Disjunktion~~]]''', '''[[~~Adjunktion~~]]''' \|\| <math>\~~vee~~(a, b)</math> \|\| <math>a \~~vee~~ b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T ~~\|\| style="text-align:center" \| W \|\| style="text-align:center" \| W~~ \|\| style="text-align:center" \| F		\| '''[[Konjunktion]]''', '''[[AND]]''' \|\| <math>\wedge(a, b)</math> \|\| <math>a \wedge b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F
	\|-
	\| '''[[Subjunktion]]''', '''[[Implikation]]''' \|\| <math>\rightarrow(a, b)</math> \|\| <math>a \rightarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F ~~\|\| style="text-align:center" \| T \|\| style="text-align:center" \| T~~
	\|-
	\| '''[[Konversion]]''' \|\| <math>\leftarrow(a, b)</math> \|\| <math>a \leftarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F ~~\|\| style="text-align:center" \| T~~
	\|-		\|-
	\| '''[[~~Bijunktion~~]]''' ~~\|\| <math>\leftrightarrow(a~~, b)</math> \|\| <math>a \leftrightarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T		\| '''[[Disjunktion]]''', '''[[Adjunktion]]''', '''[[OR]]''' \|\| <math>\vee(a, b)</math> \|\| <math>a \vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| W \|\| style="text-align:center" \| W \|\| style="text-align:center" \| F
	\|-
	\| '''[[~~Sheffer-Strich~~]]''', '''[[~~NAND~~]]''' \|\| <math>\~~mid~~(a, b)</math> \|\| <math>a \~~mid~~ b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T
	\|-		\|-
	\| '''[[Peirce-Funktion]]''', '''[[NOR]]''' \|\| <math>\overline\vee(a, b)</math> \|\| <math>a \overline\vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T		\| '''[[Peirce-Funktion]]''', '''[[NOR]]''' \|\| <math>\overline\vee(a, b)</math> \|\| <math>a \overline\vee b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T
	\|-		\|-
	\| '''[[~~Kontravalenz~~]]''', '''[[~~XOR~~]]''' \|\| <math>\not\~~leftrightarrow~~(a, b)</math> \|\| <math>a \not\~~leftrightarrow~~ b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F		\| '''[[Subjunktion]]''', '''[[Implikation]]''' \|\| <math>\rightarrow(a, b)</math> \|\| <math>a \rightarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T
			\|-
			\| '''[[Postsektion]]''', '''Nur a''' \|\| <math>\not\rightarrow(a, b)</math> \|\| <math>a \not\rightarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F
	\|-		\|-
	\| '''[[~~Postsektion~~]]'''~~, '''Nur a'''~~ \|\| <math>\~~not\rightarrow~~(a, b)</math> \|\| <math>a \~~not\rightarrow~~ b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F		\| '''[[Konversion]]''' \|\| <math>\leftarrow(a, b)</math> \|\| <math>a \leftarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T
	\|-		\|-
	\| '''[[Präsektion]]''', '''Nur b''' \|\| <math>\not\leftarrow(a, b)</math> \|\| <math>a \not\leftarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F		\| '''[[Präsektion]]''', '''Nur b''' \|\| <math>\not\leftarrow(a, b)</math> \|\| <math>a \not\leftarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F
			\|-
			\| '''[[Bijunktion]]''' \|\| <math>\leftrightarrow(a, b)</math> \|\| <math>a \leftrightarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| T \|\| style="text-align:center" \| F \|\| style="text-align:center" \| F \|\| style="text-align:center" \| T
			\|-
			\| '''[[Kontravalenz]]''', '''[[XOR]]''' \|\| <math>\not\leftrightarrow(a, b)</math> \|\| <math>a \not\leftrightarrow b</math> \|\| style="text-align:center; border-left: 2px solid #000;" \| F \|\| style="text-align:center" \| T \|\| style="text-align:center" \| T \|\| style="text-align:center" \| F
	\|}		\|}
	<div style="clear:both"></div>		<div style="clear:both"></div>

	Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.		Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.
	Wenn dabei auf Klammern verzichtet wird, gilt die Rangfolge gemäß ~~obieger~~ Tabelle: $\wedge$ bindet enger als $\vee$ etc. Das heißt,		Wenn dabei auf Klammern verzichtet wird, gilt die Rangfolge gemäß obiger Tabelle: $\wedge$ bindet enger als $\vee$ etc. Das heißt,
	$a \vee b \wedge c$ ist eine Abkürzung für $(a \vee (b \wedge c))$.		$a \vee b \wedge c$ ist eine Abkürzung für $(a \vee (b \wedge c))$.

	Die Präfixnotation kann für mehr als zwei Elemente verallgemeinert werden:		Die Präfixnotation kann für mehr als zwei Elemente verallgemeinert werden:
	<div class="formula">$\wedge(a,b,c) := \wedge(\wedge(a,b), c)$, $\wedge(a,b,c,d) := \wedge(\wedge(\wedge(a,b), c).d)$ etc.</div>		<div class="formula">$\wedge(a,b,c) := \wedge(\wedge(a,b), c)$, $\wedge(a,b,c,d) := \wedge(\wedge(\wedge(a,b), c),d)$ etc.</div>
	Analog gilt dies auch für alle anderen zweistelligen Junktoren.		Analog gilt dies auch für alle anderen zweistelligen Junktoren.

	Für die Konjunktion und die Disjunktion gibt es noch jeweils zwei weitere Abkürzungen:		Für die Konjunktion und die Disjunktion gibt es noch jeweils zwei weitere Abkürzungen:
	<div class="formula">$\wedge(a) := a$, $\wedge() := \top</div>		<div class="formula">$\wedge(a) := a$</div>
	<div class="formula">$\vee(a) := a$, $\vee() := \bot</div>		<div class="formula">$\wedge() := \top$</div>
			<div class="formula">$\vee(a) := a$</div>
			<div class="formula">$\vee() := \bot$</div>

Kowa: /* Junktoren */

2016-02-02T18:18:09Z

Junktoren

← Nächstältere Version		Version vom 2. Februar 2016, 18:18 Uhr
Zeile 91:		Zeile 91:

	Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.		Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.
			Wenn dabei auf Klammern verzichtet wird, gilt die Rangfolge gemäß obieger Tabelle: $\wedge$ bindet enger als $\vee$ etc. Das heißt,
			$a \vee b \wedge c$ ist eine Abkürzung für $(a \vee (b \wedge c))$.

			Die Präfixnotation kann für mehr als zwei Elemente verallgemeinert werden:
			<div class="formula">$\wedge(a,b,c) := \wedge(\wedge(a,b), c)$, $\wedge(a,b,c,d) := \wedge(\wedge(\wedge(a,b), c).d)$ etc.</div>
			Analog gilt dies auch für alle anderen zweistelligen Junktoren.

			Für die Konjunktion und die Disjunktion gibt es noch jeweils zwei weitere Abkürzungen:
			<div class="formula">$\wedge(a) := a$, $\wedge() := \top</div>
			<div class="formula">$\vee(a) := a$, $\vee() := \bot</div>

Kowa am 2. Februar 2016 um 18:04 Uhr

2016-02-02T18:04:22Z

← Nächstältere Version		Version vom 2. Februar 2016, 18:04 Uhr
Zeile 4:		Zeile 4:
	Der zweiwertigen Logik liegen in diesem Wiki die beiden Wahrheitswerte T für TRUE/„wahr“ und F für FALSE/„falsch“ zugrunde.		Der zweiwertigen Logik liegen in diesem Wiki die beiden Wahrheitswerte T für TRUE/„wahr“ und F für FALSE/„falsch“ zugrunde.

	==~~Nullstellige~~ Junktoren==		==Junktoren==

	Es gibt zwei nullstellige (konstante) [[Junktor]]en:		Es gibt zwei nullstellige (konstante), zwei einstellige und 10 zweistellige [[Junktor]]en:

	{\| class="wikitable"		{\| class="wikitable"
Zeile 16:		Zeile 16:
	\| '''[[Falsum]]''' \|\| $\bot$ \|\| style="text-align:center; border-left: 2px solid #000;" \| F		\| '''[[Falsum]]''' \|\| $\bot$ \|\| style="text-align:center; border-left: 2px solid #000;" \| F
	\|}		\|}
			<div style="clear:both"></div>
	=~~=Einstellige Junktoren==~~
	~~Es gibt zwei einstellige [[Junktor]]en~~:

	{\| class="wikitable" style="float:left; margin-right:1em"		{\| class="wikitable" style="float:left; margin-right:1em"
	\|-		\|-
Zeile 31:		Zeile 28:
	\|-		\|-
	\|}		\|}

	<div style="clear:both"></div>		<div style="clear:both"></div>

	~~==Zweistellige Junktoren==~~

	~~Es gibt 10 zweistellige [[Junktor]]en:~~
	{\| class="wikitable" style="float:left; margin-right:1em"		{\| class="wikitable" style="float:left; margin-right:1em"
	\|-		\|-
Zeile 98:		Zeile 90:
	<div style="clear:both"></div>		<div style="clear:both"></div>

	Die zweistelligen ~~Operationen~~ werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.		Die zweistelligen Junktoren werden normalerweise in [[Infixnotation]] ($a \wedge b$) und nicht in [[Präfixnotation]] ($\wedge(a,b)$) geschrieben.