Changes between Version 1 and Version 2 of TransparentIntensionalLogic


Ignore:
Timestamp:
Sep 8, 2017, 4:58:20 PM (3 years ago)
Author:
xmedved1
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TransparentIntensionalLogic

    v1 v2  
    1 
    2 == TIL schéma v pravidlách systému  SET
    3 
    4 vrule_sch_add funguje jako "pridavani odspodu" k vrule_sch.
    5 Odpovida to syntovemu:
    6     clause -> rhs1 rhs2 rhs3
    7         vrule_sch ( $$ $@ "#1 +#2 (#3)" )
    8 
    9 coz je v setu:
    10     TMPL: ... ... ...
    11         MARK 0 3 5 <clause>
    12         LABEL vrule_sch ( $$ $@ )
    13     TMPL -> ... rhs1 ... rhs2 ...
    14         LABEL vrule_sch_add ( $$ $@ "#1H +#2H" )
    15     TMPL -> ... rhs1 ... rhs3 ...
    16         LABEL vrule_sch_add ( $$ $@ "#1H (#2)" )
    17 
    18 kdyz tam neni H, tak se #CISLO tyka cele podfraze, kdyz je tam H,
    19 tak jen jeji hlavy (napr pro podstrom "malé zelené kočky" je #2
    20 "malé zelené kočky" a #2H jen "kočky").