Die neue Prädikatenlogik P2 - von Joachim Stiller

[ichbinderichwar]

Mache ich sowieso. Löst aber das Problem nicht.
Nun kommt, Joachim und Andersdenk. Ihr seid doch die Logik-Cracks. Wie beantwortet ihr die Frage?

Das Fahrrad hat aber zwei Reifen

 

[Marco22]

Das Fahrrad hat aber zwei Reifen

...Aber kaum einer hier im Denkforum ein Gehirn !

Die meisten Beiträge sind von Robots !

 

[Andersdenk]

Nun kommt, Joachim und Andersdenk. Ihr seid doch die Logik-Cracks. Wie beantwortet ihr die Frage?

Testen Sie sich selbst und rechtfertigen Sie Ihre Antwort.

Schalom!

 

[Nyan Cat]

Testen Sie sich selbst und rechtfertigen Sie Ihre Antwort.

Habe ich gemacht, Schalomske.

Nun traut euch! Fehler machen ist erlaubt!
Wir sind ja hier nicht in der Volxschule.

 

[Andersdenk]

Habe ich gemacht, Schalomske.

Schön, dann berichten Sie bitte darüber.

Was meint ihr?

Wieso meinen? Das ist zu beweisen oder zu widerlegen.


Schalom!

 

[Nyan Cat]

Schön, dann berichten Sie bitte darüber.

Werde ich tun, sobald ihre eure Ergebnisse vorgelegt habt. Für diese Runde bin ich der Tutor und ihr die Studenten. Nächste Runde übernimmt ein anderer meine Rolle und ich bin Student.

 

[Andersdenk]

Für diese Runde bin ich der Tutor

Dann demonstrieren Sie bitte am vorgelegten Beispiel Ihre Kompetenz.

Schalom!

 

[Marco22]

Kein Auto ist blau: sei A die Eigenschaft des Autoseins und B die Eigenschaft des alkoholunabhängigen Blauseins ...

Ist die Formel: ∀x (¬A(x)∧B(x))
äquivalent zu: ¬∃x (A(x)∧B(x))

Was meint ihr?
Falls ja, warum - und falls nicht, warum nicht?

Du gemeingefährlicher, rasender, durchgedrehter Freak !

Ich hab grad deine Formeln im Logik Rechner berechnen lassen und der sagt mir dies:

1. Formel :
Detaillierte Wahrheitstabelle für ∀ x (¬A(x)∧B(x))

Fehler #4863: Ihre Eingabe ist syntaktisch nicht korrekt: Ausdrucksende erwartet.
Diese Fehlermeldung kann von einem fehlenden Konnektiv oder von mehr geschlossenen als geöffneten Klammern hervorgerufen werden. Möglicherweise haben Sie auch das Konnektiv ``v'' direkt neben einem klein geschriebenen Satzbuchstaben verwendet.
Beachten Sie bitte, dass Sie Satzbuchstaben, die neben einem ``v'' stehen, entweder groß schreiben oder durch einen Leerschritt vom ``v'' trennen müssen.

2. Formel :
Detaillierte Wahrheitstabelle für ¬∃ x (A(x)∧B(x))

Fehler #4863: Ihre Eingabe ist syntaktisch nicht korrekt: Ausdrucksende erwartet.
Diese Fehlermeldung kann von einem fehlenden Konnektiv oder von mehr geschlossenen als geöffneten Klammern hervorgerufen werden. Möglicherweise haben Sie auch das Konnektiv ``v'' direkt neben einem klein geschriebenen Satzbuchstaben verwendet.
Beachten Sie bitte, dass Sie Satzbuchstaben, die neben einem ``v'' stehen, entweder groß schreiben oder durch einen Leerschritt vom ``v'' trennen müssen.

Quelle : https://logik.phl.univie.ac.at/~chris/cgi-bin/cgi-logik

 

[Nyan Cat]

Dann demonstrieren Sie bitte am vorgelegten Beispiel Ihre Kompetenz.

Deine Nichteilnahme an dem Spiel musst du nicht begründen. Ist alles freiwillig.

@Joachim Stiller machst du wenigstens mit?

 

[Nyan Cat]

Du gemeingefährlicher, rasender, durchgedrehter Freak !

Ich hab grad deine Formeln im Logik Rechner berechnen lassen und der sagt mir dies:

1. Formel :
Detaillierte Wahrheitstabelle für ∀ x (¬A(x)∧B(x))

Fehler #4863: Ihre Eingabe ist syntaktisch nicht korrekt: Ausdrucksende erwartet.
Diese Fehlermeldung kann von einem fehlenden Konnektiv oder von mehr geschlossenen als geöffneten Klammern hervorgerufen werden. Möglicherweise haben Sie auch das Konnektiv ``v'' direkt neben einem klein geschriebenen Satzbuchstaben verwendet.
Beachten Sie bitte, dass Sie Satzbuchstaben, die neben einem ``v'' stehen, entweder groß schreiben oder durch einen Leerschritt vom ``v'' trennen müssen.

2. Formel :
Detaillierte Wahrheitstabelle für ¬∃ x (A(x)∧B(x))

Fehler #4863: Ihre Eingabe ist syntaktisch nicht korrekt: Ausdrucksende erwartet.
Diese Fehlermeldung kann von einem fehlenden Konnektiv oder von mehr geschlossenen als geöffneten Klammern hervorgerufen werden. Möglicherweise haben Sie auch das Konnektiv ``v'' direkt neben einem klein geschriebenen Satzbuchstaben verwendet.
Beachten Sie bitte, dass Sie Satzbuchstaben, die neben einem ``v'' stehen, entweder groß schreiben oder durch einen Leerschritt vom ``v'' trennen müssen.

Quelle : https://logik.phl.univie.ac.at/~chris/cgi-bin/cgi-logik

Musst du halt die Eingaben an dein CAS anpassen. Das klappt aber normalerweise ganz gut.