CoqBook

Obsah:

• Úvodem
• Výroky, předpoklady, závěry
  • Ukázkový příklad
  • Předpoklady a závěr
• Konjunkce
  • Syntax konjunkce
  • Pravidla pro práci se spojkou konjunkce
• Implikace
  • Syntax implikace
  • Pravidla pro práci se spojkou konjunkce
  • Práce s implikací v Coq
  • Další příklady a úlohy
• Implikace a konjunkce
  • Příklady a úlohy
• Disjunkce
  • Syntax disjunkce
  • Pravidla pro práci se spojkou disjunkce
  • Práce s disjunkcí v Coq
  • Další příklady a úlohy
• Negace, True a False
  • Syntax True, False a negace
  • Pravidla pro True, False a negaci
  • Práce s negací v Coq
  • Další příklady a úlohy