2.2.2逻辑表示的结构 连词→用来表示“如果-那么”的词句。例如,句子“如果 该书是何平的,那么它是蓝色(封面)的”可表示为 OWNS (HEPLING, BOOK-1 COLOR(BOOK-l, BULE 又如,句子“如果刘华跑得最快,那么他取得冠军”可表 示为 RUNS (LIUHUA, FASTEST)- WINS(LIUHUA, CHAMPION 用连词→连接两个公式所构成的公式叫做蕴含,蕴含的左 式叫做前项,右式叫做后项。如果前项和后项都是合适公式, 那么蕴含也是合适公式。连词→用来表示“如果--那么”的词句。例如，句子“如果 该书是何平的，那么它是蓝色（封面）的”可表示为 OWNS（HEPLING，BOOK-1）→ COLOR(BOOK-1, BULE) 又如, 句子“如果刘华跑得最快，那么他取得冠军”可表 示为 RUNS（LIUHUA，FASTEST）→ WINS(LIUHUA , CHAMPION) 用连词→连接两个公式所构成的公式叫做蕴含，蕴含的左 式叫做前项，右式叫做后项。如果前项和后项都是合适公式， 那么蕴含也是合适公式。 2 . 2 . 2 逻辑表示的结构