Schemata axiomů výrokové logiky

  1. (A1) A → (B → A)
  2. (A2) ( (A → (B → C) ) → ( (A → B) → (A → C) )
  3. (A3) (¬B → ¬A) → (A → B)

Odvozovací pravidlo

  • Modus ponens: A, A→B |- B
 
axiomy_vyrokove_logiky.txt · Last modified: 2006/04/12 00:18 by 213.192.20.1
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki