Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:predicate_logic_informally [2008/02/21 14:41] vkuncak |
sav08:predicate_logic_informally [2010/02/22 14:00] vkuncak |
||
---|---|---|---|
Line 11: | Line 11: | ||
* quantifiers "forall" ($\forall$), "exists" ($\exists$) | * quantifiers "forall" ($\forall$), "exists" ($\exists$) | ||
- | Uses of first-order logic: | + | ===== Uses of first-order logic ===== |
* precisely describe arbitrary mathematical statements (theorems, conjectures, properties) | * precisely describe arbitrary mathematical statements (theorems, conjectures, properties) | ||
* specify program properties | * specify program properties |