Liebe/-r Experte/-in,
Ich habe eine kleine Frage zur prädikatenlogik
Ich würde gerne wissen ob es eine möglichkeit gibt schnell herauszufinden ob eine Formel
gültig ist. Ich habe hier nämlich eine Aufgabe die solches verlangt:
Eine dieser Formeln ist gültig, eine ist erfüllbar und nicht gültig, welche?
(die E und V sind Quantoren)
F= (VxP(x) ^ VxQ(x) ) -> Vx (P(x) ^ Q(x) )
F= (ExP(x) ^ ExQ(x) ) -> Ex (P(x) ^ Q(x) )
Ueber eine Antwort wuerde mich sehr sehr freuen:smile:
Liebe Grüße!!!