Logiweb aspects of deduction six {MissingArg} conclude {MissingArg} exception {MissingArg} bound {MissingArg} end deduction in pyk

Up Help

The predefined "pyk" aspect

define pyk of deduction six x conclude x exception x bound x end deduction as text unicode start of text unicode small d unicode small e unicode small d unicode small u unicode small c unicode small t unicode small i unicode small o unicode small n unicode space unicode small s unicode small i unicode small x unicode space unicode quotation mark unicode space unicode small c unicode small o unicode small n unicode small c unicode small l unicode small u unicode small d unicode small e unicode space unicode quotation mark unicode space unicode small e unicode small x unicode small c unicode small e unicode small p unicode small t unicode small i unicode small o unicode small n unicode space unicode quotation mark unicode space unicode small b unicode small o unicode small u unicode small n unicode small d unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small d unicode small e unicode small d unicode small u unicode small c unicode small t unicode small i unicode small o unicode small n unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of deduction six var p conclude var c exception var e bound var b end deduction as text unicode start of text unicode newline unicode capital d unicode small e unicode small d unicode underscore unicode six unicode left parenthesis unicode number sign unicode one unicode period unicode newline unicode comma unicode number sign unicode two unicode period unicode newline unicode comma unicode number sign unicode three unicode period unicode newline unicode comma unicode number sign unicode four unicode period unicode newline unicode right parenthesis unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of deduction six var p conclude var c exception var e bound var b end deduction as var p tagged guard var c tagged guard var b tagged guard var e tagged guard tagged if var p term root equal quote object var var x end var end quote then var p term in var e select var b else var p pair var c pair var b end select else tagged if not var p term root equal var c then true else tagged if var p term root equal quote metavar var a end metavar end quote then var b else tagged if var p term root equal quote for all objects var x indeed var y end quote then deduction six var p second conclude var c second exception var c first pair var e bound var b end deduction else deduction six star var p tail conclude var c tail exception var e bound var b end deduction end if end if end if end if end define