Umgangssprachliche Aussagen formalisieren

Neue Frage »

miller Auf diesen Beitrag antworten »
Umgangssprachliche Aussagen formalisieren
Hallo Wink

Formalisieren Sie die folgenden umgangssprachlichen Aussagen unter Verwendung
von Variablen x, y, . . ., Aussageformen und Quantoren:
1. Jede nat¨urliche Zahl hat einen Teiler.
2. Jede ganze Zahl, die nicht negativ oder Null ist, ist eine nat¨urliche Zahl.
3. Summe zweier beliebigen, ganzen Zahlen ist eine ganza Zahl.
4. Jede nat¨urliche Zahl ist genau dann eine Primzahl, wenn sie nur durch 1 und
sich selbst teilbar ist.


1.

bei den anderen hab ich keine ahnung wie ichs formal schreiben soll unglücklich


vlg
brain man Auf diesen Beitrag antworten »
RE: Umgangssprachliche Aussagen formalisieren! help
Zitat:
1.


Das würde ich so schreiben :



Zitat:

bei den anderen hab ich keine ahnung wie ichs formal schreiben soll unglücklich


Aber Komplettlösungen gibt´s auch nicht. Also poste mal deine bisherigen Versuche.
miller Auf diesen Beitrag antworten »

ok smile

2.
brain man Auf diesen Beitrag antworten »

Zitat:
Original von miller
ok smile

2.


Ok - ich glaube zu verstehen was du meinst.^^

erfüllt die Kriterien und trotzdem gilt nicht
millerandeuni Auf diesen Beitrag antworten »

hm nun weiß ich nicht weiter =D
ich weiß einfach nicht wie ichs ausdrücken soll.
Abakus Auf diesen Beitrag antworten »

Zitat:
Original von millerandeuni
hm nun weiß ich nicht weiter =D
ich weiß einfach nicht wie ichs ausdrücken soll.


Dann schreib doch einmal alle Bedingungen in der aufzustellenden Aussage einzeln auf. Welche Bedingungen sind das ?

Wenn du alle hast, kommt als nächstes die Art und Weise, wie diese Bedingungen bzw. Aussagen zu verknüpfen sind.

Grüße Abakus smile
 
 
miller Auf diesen Beitrag antworten »

Ich hab das quasi schon oben geschrieben smile
Ich weiß nur nicht wie ich das verknüpfen soll.
Es wäre sehr nett wenn es einfach jemand hinschreibt, so werde ichs sicher verstehn smile
brain man Auf diesen Beitrag antworten »

Zitat:
Original von miller
Es wäre sehr nett wenn es einfach jemand hinschreibt, so werde ichs sicher verstehn smile


Komplettlösungen sind hier aber nicht Usus.

Ein grobes Schema habe ich dir oben schon angegeben. Du musst angeben für welche x bzw. y die Behauptung gilt (mittels Quantoren), den Zahlenbereich und die Bedingung, die daran geknüpft ist.
Airblader Auf diesen Beitrag antworten »

Das erste würde ich formal so schreiben:



Allerdings reicht auch



da aus auch folgt und somit immer ein natürliches y existiert.

air
Abakus Auf diesen Beitrag antworten »

Zitat:
Original von miller
Ich hab das quasi schon oben geschrieben smile
Ich weiß nur nicht wie ich das verknüpfen soll.
Es wäre sehr nett wenn es einfach jemand hinschreibt, so werde ichs sicher verstehn smile


Es geht darum, die Methode zu verstehen, wie man darauf kommt, und nicht nur das Ergebnis. Die einzelnen Bedingungen sehe ich weiter oben noch nicht, es kommt darauf an, jedes Detail einer solchen Formulierung umzusetzen:

Zitat:
2. Jede ganze Zahl, die nicht negativ oder Null ist, ist eine natürliche Zahl.


ZB besteht (2) aus folgendem:

- jede ganze Zahl
- die nichtnegativ ist
- die verschieden von Null ist
- ist eine natürliche Zahl

Das wäre erstmal einzeln umzusetzen.

Grüße Abakus smile
miller Auf diesen Beitrag antworten »



das müsste doch stimmen Big Laugh

da N eine Teilmenge von Z ist...

also
miller Auf diesen Beitrag antworten »

?????? :P
Airblader Auf diesen Beitrag antworten »

Was ist denn die logische Negation einer Zahl verwirrt

air
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »