Logiweb aspects of propcalc in pyk

Up Help

The predefined "pyk" aspect

define pyk of propcalc as text unicode start of text unicode small p unicode small r unicode small o unicode small p unicode small c unicode small a unicode small l unicode small c unicode end of text end unicode text end text end define

The user defined "the statement aspect" aspect

define statement of propcalc as ( all metavar var a end metavar indeed all metavar var b end metavar indeed ( metavar var a end metavar infer ( ( metavar var a end metavar implies metavar var b end metavar ) infer metavar var b end metavar ) ) ) rule plus ( ( all metavar var a end metavar indeed all metavar var b end metavar indeed all metavar var c end metavar indeed ( ( metavar var a end metavar implies ( metavar var b end metavar implies metavar var c end metavar ) ) implies ( ( metavar var a end metavar implies metavar var b end metavar ) implies ( metavar var a end metavar implies metavar var c end metavar ) ) ) ) rule plus ( ( all metavar var a end metavar indeed all metavar var b end metavar indeed ( metavar var a end metavar implies ( metavar var b end metavar implies metavar var a end metavar ) ) ) rule plus all metavar var a end metavar indeed all metavar var b end metavar indeed ( ( ( not metavar var b end metavar ) implies not metavar var a end metavar ) implies ( ( ( not metavar var b end metavar ) implies metavar var a end metavar ) implies metavar var b end metavar ) ) ) ) end define