Aussagenlogik/Konjunktion Implikation/Entsprechende Regel/Keine Umkehrung/Aufgabe/Lösung

Es gilt die Regel: Wenn ${}\vdash p$, dann ${}\vdash q$, wobei ${}p,q$ zwei verschiedene Aussagenvariablen

sind, und zwar aus dem einfachen Grund, dass ${}\vdash p$ nicht gilt. Dagegen gilt ${}\vdash p\rightarrow q$ nicht.

Zur gelösten Aufgabe