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
CoqBook
Navigace
Obsah:
Úvodem
Výroky, předpoklady, závěry
Konjunkce
Implikace
Implikace a konjunkce
Disjunkce
Negace, True a False
Related Topics
Documentation overview
Next:
<no title>
Rychlé vyhledávání