Logiweb aspects of * macro first modus ponens * macro second modus ponens * in pyk

Up Help

The predefined "pyk" aspect

define pyk of var x macro first modus ponens var y macro second modus ponens var z as text unicode start of text unicode asterisk unicode space unicode small m unicode small a unicode small c unicode small r unicode small o unicode space unicode small f unicode small i unicode small r unicode small s unicode small t unicode space unicode small m unicode small o unicode small d unicode small u unicode small s unicode space unicode small p unicode small o unicode small n unicode small e unicode small n unicode small s unicode space unicode asterisk unicode space unicode small m unicode small a unicode small c unicode small r unicode small o unicode space unicode small s unicode small e unicode small c unicode small o unicode small n unicode small d unicode space unicode small m unicode small o unicode small d unicode small u unicode small s unicode space unicode small p unicode small o unicode small n unicode small e unicode small n unicode small s unicode space unicode asterisk unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of var x macro first modus ponens var y macro second modus ponens var z as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small u unicode small n unicode small r unicode small h unicode small d unicode space unicode number sign unicode two unicode period unicode newline unicode backslash unicode small u unicode small n unicode small r unicode small h unicode small d unicode space unicode number sign unicode three unicode period unicode end of text end unicode text end text end define

The predefined "macro" aspect

define macro of var x macro first modus ponens var y macro second modus ponens var z as lambda var t dot lambda var s dot lambda var c dot macro define four var t state var s cache var c definition quote macro define var x macro first modus ponens var y macro second modus ponens var z as ( ( double rule prime mp modus ponens var x ) modus ponens var y ) modus ponens var z end define end quote end define end define