„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) (upsz) |
Mozo (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
||
2. sor:
<div class="thumbinner" style="width:300px;" >
<math>
\begin{
(1.) & A \wedge (\neg A) & \mbox{premissza}\\
(2.) &
(3.) &
(4.) & (\neg A) \vee B & (3.) \vee \mbox{be}\\
\end{array}▼
(5.) & A \Rightarrow B & (4.) \equiv (5.)\\
(6.) & B & \mbox{modus ponens} (2.)-(5.)\\
</math>
|