v4

|- A→¬¬A

Důkaz

Stačí vzít tvrzení v3 ve tvaru

|- ¬¬¬A→¬A

a pomocí A3 a modus ponens

   ¬¬¬A->¬A     (¬¬¬A->¬A)->(A->¬¬A)
  -----------------------------------
                A->¬¬A

dostávám

|- A→¬¬A

QED

 
a-_nna.txt · Last modified: 2006/04/26 22:37 by 85.160.5.202
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki