Was sind die Teilformeln von \neg A?

Question

Hallo, ich habe eine Frage zur Aussagenlogik.

Was sind die Teilformeln von ? $$ \neg A $$Hätten wir hier nur die Teilformel A oder ist auch $$ \neg A $$ eine Teilformel zu sich selbst?

Comments

Was meinst du mit Teilformel?

---

$$ A \lor B $$

A und B sind hier beispielsweise Teilformeln dieser Formel.

Answer 1

Wie lautet die Aufgabe im Original?

A v B ist eine Aussage,, die meint entweder A oder B oder beides zusammen (inklusives ODER)

Ich verstehe nicht, worauf du hinauswillst.

Comments

Es handelt sich hierbei nicht um eine Aufgabe und es geht nicht darum was hier eine Aussage ist, sondern eine Teilformel. A ist eine Formel, und genau ist auch $$ \neg A $$ eine Formel. aber meine Frage ist was für Teilformeln es eben bei $$ \neg A $$ gibt.