Aussagenlogik/graphen 2 Sätze beweisen oder widerlegen

Question

Aufgabe:

Beweisen oder Widerlegen der folgenden Aussagen

Problem/Ansatz:

ich bin gerade an einer Aufgabe dran und dort soll ich 2 Aussagen widerlegen oder Beweisen.

Enthält eine Formel eine widerspruchsvolle Teilformel, so ist sie insgesamt auch
widerspruchsvoll

und

Zu jeder widerspruchsvollen Formel gibt es eine Bewertung, die eine Teilformel mit g
bewertet.

Hat jemand ne Idee ?

:)

Answer 1

Enthält eine Formel eine widerspruchsvolle Teilformel, so ist sie insgesamt auch widerspruchsvoll

A ∨ (B ∧ ¬B).

Zu jeder widerspruchsvollen Formel gibt es eine Bewertung, die eine Teilformel mit g
bewertet.

Jede in der Formel vorkommende Variable ist eine Teilformel.