Logiweb aspects of prop theory in pyk

Up Help

The predefined "pyk" aspect

define pyk of prop theory as text unicode start of text unicode small p unicode small r unicode small o unicode small p unicode space unicode small t unicode small h unicode small e unicode small o unicode small r unicode small y unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of prop theory as text unicode start of text unicode capital t unicode underscore unicode left brace unicode capital p unicode right brace unicode end of text end unicode text end text end define

The user defined "the statement aspect" aspect

define statement of prop theory as ( ( ( metavar var b end metavar imply metavar var c end metavar ) imply metavar var d end metavar ) imply ( ( metavar var b end metavar imply metavar var c end metavar ) imply ( metavar var b end metavar imply metavar var d end metavar ) ) ) rule plus ( ( metavar var b end metavar imply ( metavar var c end metavar imply metavar var b end metavar ) ) rule plus ( ( ( not metavar var c end metavar ) imply not metavar var b end metavar ) imply ( ( ( not metavar var c end metavar ) imply metavar var b end metavar ) imply metavar var c end metavar ) ) ) end define