[Trac] [OpenMath] #45: CD logic1

[OpenMath]

#45: CD logic1
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 Wrong union (politics, not maths)!

 The K-12 stuff in this area is normally badly treated by
 both logicians and mathematicians, maybe the computing guys can do better.

 I did notice that some things herein typically have wider uses than
 as boolean operators/functions.

 I suspect some sloppiness around the use of 'X is true' for
 'the value of X is 'true' '.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/45>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.