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.10.2021

25012505250425022513250525132505251425062514251525142515251725152517250625082516
25082519251725092508251025082519250825102511250125022510250225012502251325022504
25032513250525142506251725062507251825172509251025092510251925012509250125192501
Wie oft ist die Zahl »2510« in der obigen Zahlenkolonne enthalten?

Lösung

25012505250425022513250525132505251425062514251525142515251725152517250625082516
25082519251725092508~~2510~~250825192508~~2510~~251125012502~~2510~~250225012502251325022504
25032513250525142506251725062507251825172509~~2510~~2509~~2510~~251925012509250125192501
Die Zahl 2510 ist 5-mal enthalten.