Changes between Initial Version and Version 1 of TransparentIntensionalLogic


Ignore:
Timestamp:
Sep 8, 2017, 4:56:09 PM (8 years ago)
Author:
xmedved1
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TransparentIntensionalLogic

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