Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
entry_structure [2015/04/15 20:46] nikolaj |
entry_structure [2015/04/15 20:52] nikolaj |
||
|---|---|---|---|
| Line 37: | Line 37: | ||
| === Possible lines in a formula block === | === Possible lines in a formula block === | ||
| - | | @#FF8866: rule | @#FF8866: basic logical rule | | + | See [[Template entry]] |
| - | | @#55CCEE: context | @#55CCEE: contex | | + | |
| - | | @#FFBB00: definiendum | @#FFBB00: definiendum| | + | |
| - | | @#FF9944: definition | @#FF9944: definition | | + | |
| - | | @#AAFFAA: inclusion | @#AAFFAA: subset specification | | + | |
| - | | @#BBDDEE: let | @#BBDDEE: temporary definition | | + | |
| - | | @#DDDDDD: range | @#DDDDDD: domain specification | | + | |
| - | | @#FFFDDD: for all | @#FFFDDD: universal quantification | | + | |
| - | | @#FFFDDD: exists | @#FFFDDD: existential quantification | | + | |
| - | | @#55EE55: postulate | @#55EE55: axiom | | + | |
| - | | @#EEEE55: predicate | @#EEEE55: predicate definition | | + | |
| - | We don't find rule in **Set**. | + | Remarks: We don't find 'rule' in **Set**. |
| == Meta-logical language == | == Meta-logical language == | ||
