«Modus tollendo tollens»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
:<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 -beharrezkoa.
 
=== Idazte konplexuagoak ===
|}
 
===''reductioReductio ad absurdum'' bidez===
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ ''' '''
23

edits