Aussagenlogik

Neue Frage »

apollo Auf diesen Beitrag antworten »
Aussagenlogik
Hallo,

kann mir jemand erklähren wie ich diese Aufgabe lösen kann.
Gegeben sind folgende Aussagen für natürliche Zahlen:
A1: Alle durch 4 teilbaren Zahlen sind durch 2 teilbar.
A2: Nur alle durch 4 teilbaren Zahlen sind durch 2 teilbar.
a) Schreiben Sie beiden Aussagen soweit wie möglich um unter Verwendung von logischen Symbolen und matematischer Notation um. Benutzen Sie dabei die Schreiweise: a|b äquivalent b ist durch a teilbar.
b) Prüfen Sie jeweils den Wahrheitsgehalt der beiden Aussagen (Begründung !!)


Für mich ist es klar dass erste Aufgabe wahr ist und zweite falsch ist, aber wie kann ich das beweisen traurig
Mazze Auf diesen Beitrag antworten »

Du sollst es nichtmal Beweisen, Du sollst nur Begründen. Die zweite Aussage kannst Du mit Gegenbeispiel ganz einfach beweisen. Such dir einfach eine Zahl die durch 2 aber nicht durch 4 Teilbar ist. Die erste geht auch ganz einfach wenn man bedenkt das 2 ein Teiler von 4 ist.
apollo Auf diesen Beitrag antworten »

Ja so habe ich auch gedacht aber für mich ist es schwer zu schreiben.
also was ich schritt fur schritt machen soll. verwirrt
oliver.m Auf diesen Beitrag antworten »

meiner meinung nach ...

a.a1: alle durch 4 teilbaren zahlen sind durch 2 teilbar

für alle x gilt, wenn (x mod 4 = 0), dann (x mod 2 = 0)

a.a2 sollte genauso aussehen.

b: wann ist eine zahl durch 2 teilbar? wenn gilt x = 2k. das heißt ganz allgemein, wenn x auf eine 0, 2, 4, 6, oder 8 endet. da also außer der 4 noch die 0, 2, 6 und 8 als durch 2 teilbar gelten, hast du zumindest schon mal einen anhaltspunkt.
Neue Frage »
Antworten »



Verwandte Themen

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