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 Samstag, der 17.08.2019

17031702170917111705170117011704170917031699169917111707170317061716170917151711
17111707171017031699170217151717171317101700171317091711171717171701171317001705
17061711171417011706171617091712170117111707170017131709171217051708171317001700
Wie oft ist die Zahl »1708« in der obigen Zahlenkolonne enthalten?

Lösung

17031702170917111705170117011704170917031699169917111707170317061716170917151711
17111707171017031699170217151717171317101700171317091711171717171701171317001705
1706171117141701170617161709171217011711170717001713170917121705~~1708~~171317001700
Die Zahl 1708 ist 1-mal enthalten.