Resolutionsregel – Teil 1

Die Resolutionsregel besagt, dass wenn [[a,-b],[b,c]] wahr ist, auch [[a,c]] wahr ist. Gilt auch die umgekehrte Aussage? 

Um diese Frage zu beantworten, überlege dir zunächst, für welche logischen Formeln [[a,-b],[b,c]] und [[a,c]] stehen.

Benutze in deinen Freitext-Antworten & für das logische und, v für das logische oder und – für die Negation.