Logik Übungsblatt 9 §

Name: Alexander Weichart Matrikelnummer: 2170749

A §

$\{\perp \}{⊢}_{\mathrm{M}}\neg p$

B §

${⊢}_{\mathrm{M}}\neg (p\wedge \perp )$

C §

$\{\neg (p\wedge q),q\}{⊢}_{\mathrm{M}}\neg p$

D §

$\{p\wedge q\}{⊢}_{\mathrm{M}}q\wedge p$

E §

$\{q\}{⊢}_{\mathrm{M}}\neg (p\wedge \neg q)$