0 Daumen
314 Aufrufe

Aufgabe:

Ist diese Junktorenmenge funktional Vollständig:

I = {→, ⊥}


Habt ihr da Ideen? Ich habe überlegt, ob es ein Gegenbeispiel gibt, bin mir aber echt nicht sicher. Bin für jede Hilfe dankbar!

Avatar von

1 Antwort

+1 Daumen

Stelle jedes Element einer bekanntermaßen funktional vollständigen Menge mittels → und ⊥ dar.

Zum Beispiel ist {¬, ∧, ∨, →, ↔} funktional vollständig und

     ¬A ≡ A→⊥.

Avatar von 105 k 🚀

Also meine Idee wäre, dass man mit ⊥ eine Aussage negieren kann und mit → verschiedene Aussagen gezielt verknüpfen kann und somit alle Aussagen darstellen kann. Also ja, funktional Vollständig. Man kann aber nicht die einzelnen Aussagen A und B in der Gesamtaussage negieren. Ist das ein Problem oder gilt die funktionale Vollständigkeit trotzdem?

dass man mit ⊥ eine Aussage negieren kann

Wie macht man das?

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community