Angenommen, die Aussagen folgender Prämissenmenge sind wahr:*Alle Philosophen sind vernunftig.*Immanuel Kant ist ein Philosoph.*Immanuel Kant ist nicht vernunftig.Ist die Menge konsistent d.h. frei von Kontradiktionen?
Prädikate P: "ist Philosoph", V: "ist vernünftig",
Prämissen \(p_1,p_2,p_3\).
\(p_1: \; \forall x:\; P(x)\rightarrow V(x)\)
\(p_2: \; P(Kant)\)
------- Modus Ponens ----------
\( V(Kant)\)
\(p_3: \; \lnot V(Kant)\)
------------- \(\wedge\) -----------
\(V(Kant)\wedge \lnot V(Kant)\) --- Kontradikltion !
Danke für die Antwort
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos