„Hamisból minden következik” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
Mozo (vitalap | szerkesztései) aNincs szerkesztési összefoglaló |
||
1. sor:
<div class="thumb tright">
<div class="thumbinner" style="width:
<math>
\begin{matrix}
(1.) & A \wedge (\neg A) & \mbox{premissza}\\\\
(2.) & A & 1. \wedge \mbox{ki}\\\\
(3.) & \neg A & 1. \wedge \mbox{ki}\\\\
(4.) & (\neg A) \vee B & (3.) \vee \mbox{be}\\\\
(5.) & A \Rightarrow B & (4.) \equiv (5.)\\\\
(6.) & B & \mbox{modus ponens } (2.)-(5.)
\end{matrix}
|