Ist die Formel aus Phi folgerbar?

28.10.2009, 15:16	matheneuling0815	Auf diesen Beitrag antworten »
Ist die Formel aus Phi folgerbar? So ich hab ein Problem: Formelmenge $\begin{eqnarray} \phi \end{eqnarray}$ ={ $\begin{eqnarray} \neg \end{eqnarray}$ (p $\begin{eqnarray} \vee \end{eqnarray}$ q $\begin{eqnarray} \vee \end{eqnarray}$ r), $\begin{eqnarray} \neg \end{eqnarray}$ p $\begin{eqnarray} \wedge \end{eqnarray}$ r, q $\begin{eqnarray} \rightarrow \end{eqnarray}$ (q $\begin{eqnarray} \vee \end{eqnarray}$ r)} nun soll ich sagen zeigen , dass $\begin{eqnarray} \neg ( \neg p\wedge \neg r) \rightarrow \neg q \end{eqnarray}$ aus $\begin{eqnarray} \phi \end{eqnarray}$ folgerbar ist. Leider hab ich garkeine Ahnung wie ich da ran gehen soll. Wäre schön wenn ihr mir ein paar Lösungsvorschläge Posten könntet! Gruß matheneuling0815

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »