Aufgabe:
Es geht um die Lösung einer Logik Aufgabe, also Aussagenlogik und anschließender Wahrheitstabelle. Zuerst müssen die Elementaraussagen identifiziert werden.
Text: "Falls eine beliebige positive Ganze Zahl p eine gerade Zahl ist, so ist das Quadrat von p ebenfalls eine gerade Zahl. Nun wissen wir aber, dass p eine Primzahl größer 10 ist.
Daraus folgt, dass das Quadrat von p eine ungerade positive Ganze Zahl sein muss.“
Problem/Ansatz:
Mein Ansatz: Elementaraussagen a= P ist eine gerade Zahl, b= Quadrat von p ist eine gerade Zahl
((a->b)∧¬a)->¬b
A B f(a,b)
-----------------------------
0 0 1
0 1 0
1 0 1
1 1 1
Somit keine Tautologie.
Ist das richtig?
