Create
Sign in | Register
English version
A-sourceA-target | ExampleInterpretationProof | AnswerQuestion|SoftwareRule|Project Resource

With hypothesis, look for proofs
有两种翻译成 SIF 的技巧:直接还原成 Iconic-mode; 间接借用类比   |   Author: Fengbin Zhao

如果一个文字符号代表的物体是看得到,摸得见的,那么我们就能够直接将这个符号还原成 Iconic-mode. 如果,这个被代表的物体本身太抽象,我们需要借用类比。类比能够进行这个 Transformation (from 抽象, to 具体)


第1页
After logging in, you may submit proof in the form below