Implikation umformen die in beide Richtungen geht

30.12.2013, 20:56	ninemania	Auf diesen Beitrag antworten »
Implikation umformen die in beide Richtungen geht Meine Frage: ich will aus folgender Teilformel die Implikation eliminieren: (B <=> D) Meine Ideen: Kann man das dann einfach so umwandeln: (B ^ D) oder in (nichtB ^ nichtD) ?
31.12.2013, 00:57	Dopap	Auf diesen Beitrag antworten »
die Bijunktion ist ja die doppelte Subjunktion. Demnach: $\begin{eqnarray} B \leftrightarrow D \Leftrightarrow ( B \to D ) \land (D \to B) \end{eqnarray}$ ersetzt man noch $\begin{eqnarray} X\rightarrow Y \quad \text{durch} \quad \lnot X \lor Y \end{eqnarray}$ erhält man...

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »