wiki:TransparentIntensionalLogic

Version 1 (modified by xmedved1, 3 years ago) (diff)

--

TIL schéma v pravidlách systému SET

vrule_sch_add funguje jako "pridavani odspodu" k vrule_sch. Odpovida to syntovemu:

clause -> rhs1 rhs2 rhs3

vrule_sch ( $$ $@ "#1 +#2 (#3)" )

coz je v setu:

TMPL: ... ... ...

MARK 0 3 5 <clause> LABEL vrule_sch ( $$ $@ )

TMPL -> ... rhs1 ... rhs2 ...

LABEL vrule_sch_add ( $$ $@ "#1H +#2H" )

TMPL -> ... rhs1 ... rhs3 ...

LABEL vrule_sch_add ( $$ $@ "#1H (#2)" )

kdyz tam neni H, tak se #CISLO tyka cele podfraze, kdyz je tam H, tak jen jeji hlavy (napr pro podstrom "malé zelené kočky" je #2 "malé zelené kočky" a #2H jen "kočky").