Modus tollendo tollens: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
No edit summary |
No edit summary |
||
39. lerroa:
:<math>\frac{\Gamma \vdash P\to Q ~~~ \Gamma \vdash \neg Q}{\Gamma \vdash \neg P}</math>.
Erregela honek ez duenez suposizio multzoa aldatzen, ez da behar
=== Idazte konplexuagoak ===
124. lerroa:
|}
===''
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ ''' '''
|