Mathematik-Online-Aufgabensammlung: Aufgabe 1011: Formalisierung von Aussagen, Verneinung, Wahrheitswert

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Aufgabensammlung:
	Aufgabe 1011: Formalisierung von Aussagen, Verneinung, Wahrheitswert

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Formulieren Sie jede der folgenden Aussagen mit Hilfe von Quantoren, und geben Sie ihre Verneinung und ihren Wahrheitswert an:

: Es gibt $m, n\in\mathbb{N}$ , für die $m+n\in\mathbb{N}$ und $m-n\in\mathbb{N}$ .

: Die Gleichung besitzt für jedes $m\in\mathbb{N}$ eine Lösung $n\in\mathbb{N}$ .

: Jedes gerade $n\in\mathbb{N}$ kann als Summe zweier Quadratzahlen geschrieben werden.

(Autor: Christian Apprich)

[Verweise]

automatisch erstellt am 7. 6. 2005

:	Es gibt $m, n\in\mathbb{N}$ , für die $m+n\in\mathbb{N}$ und $m-n\in\mathbb{N}$ .
:	Die Gleichung besitzt für jedes $m\in\mathbb{N}$ eine Lösung $n\in\mathbb{N}$ .
:	Jedes gerade $n\in\mathbb{N}$ kann als Summe zweier Quadratzahlen geschrieben werden.