Login
Registrieren

Frage?
Alle Fragen
Mitglieder
Communities

Stell deine Frage

LegoFighter
Aktivitäten
2 Fragen
0 Antworten
Entwicklung

Fragen von LegoFighter

2
Fragen gestellt

1
beste Antwort ausgewählt

0 Daumen

0 Antworten

Skolemform ohne Funktionssymbole: Entscheidbar?

Gefragt 1 Dez 2017

prädikatenlogik
aussagenlogik

0 Daumen

1 Antwort

( ¬ B ⇒ A ) ∧ ( C ⇒ A ) ∧ ( ¬ A ⇒ C ) = ¬ ( B ⇒ ¬ A ) ∨ ¬ ( A ⇒ B ). Lösen Sie durch Äquivalenzumformung!

Gefragt 16 Jun 2017

aussagenlogik
logik
umformen

News AGB FAQ Schreibregeln Impressum Datenschutz Kontakt

“Wie viel ist dreimal sieben? Ganz feiner Sand! Und was ist viermal sechs? Anstrengend.”

Made by a lovely community