Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
entry_structure [2015/04/15 20:46]
nikolaj
entry_structure [2015/04/15 20:52] (current)
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 ==
Link to graph
Log In
Improvements of the human condition