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$