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 | ||