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)$