Denksportaufgaben - Repetitorium

DeSpA main

DeSpA otherwise

relations

solutions

Repetitorium - Aussagenlogik

Tautologie

Seite: 1/2

Zusammengesetzte Aussagen (Aussageverbindungen), die unabhängig von den Wahrheitswerten der in Ihnen vorkommenden Teilaussagen stets den Wahrheitswert W annehmen, heißen Tautologien (oder Identitäten).

Beispiel: Die zusammengesetzte Aussage (¬(¬p∨q))⇔(p∧(¬q))

p	q	¬p	¬q	¬p∨q	¬(¬p∨q)	p∧(¬q)	(¬(¬p∨q))⇔(p∧(¬q))
W	W	F	F	W	F	F	W
W	F	F	W	F	W	W	W
F	W	W	F	W	F	F	W
F	F	W	W	W	F	F	W

ist eine Tautologie,

weil sie, unabhängig der Wahrheitswerte von p und q, stets den Wahrheitswert W annimmt.

siehe auch: Aussageform, Aussagenverknüpfung, Zusammengesetzte Aussage

Hinweise:

1. Die (im Beispiel) auftretenden Teilaussagen ¬(¬p∨q) und p∧(¬q), die auch aus den Aussagen p und q entstanden sind, sind KEINE Tautologien. Sie haben aber, unabhängig von den Wahrheitswerten der Aussagen p und q, stets denselben Wahrheitswert. Solche zusammengesetzte Aussagen, also auch die obigen Teilaussagen ¬(¬p∨q) und p∧(¬q), heißen zueinander ÄQUIVALENT. Verbindet man sie nämlich durch das Zeichen ⇔ zu einer Äquivalenz, so ist diese neue zusammengesetzte Aussage eine Tautologie.

2. Wenn umgekehrt eine Äquivalenz eine Tautologie ist, so haben die beiden in dieser Äquivalenz verknüpften Aussagen stets denselben Wahrheitswert, unabhängig von den Wahrheitswerten der in ihnen auftretenden Teilaussagen.

Nächste Seite (2/2)

[ Home ]

Heute ist Montag, der 25.05.2020

25032506249625092511251424982501250625072500250325082511251425072504249725092503
24962499250225072510250325002500250325082511250424982510250325062509250225082511
25142498250324962511250524982511250425072503250624992511249825102506250025032499
Wie oft ist die Zahl »2505« in der obigen Zahlenkolonne enthalten?

Lösung

25032506249625092511251424982501250625072500250325082511251425072504249725092503
24962499250225072510250325002500250325082511250424982510250325062509250225082511
25142498250324962511~~2505~~24982511250425072503250624992511249825102506250025032499
Die Zahl 2505 ist 1-mal enthalten.