Логика высказываний

Клауза считается ложной, т.к. единицы следствия (С1) не накрывают все единицы обобщенной причины (Р), т.е. единицы обобщенной причины не образуют подмножество единиц следствия.

Докажем с помощью таблиц истинности следующую клаузу:

А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (A v В),

P1 P2 P3 P4 P5

D -> (А -> В), С -> (В v D

), A v С v D, С -> (А -> В) => А & В & С; А & В & D

Р6 Р7 Р8 Р9 С1 C2 C3 C4 C5

Теперь составим таблицу истинности (табл. 1.3) , в которой под Р понимается обобщенная причина, т.е. конъюнкция всех Р.

n

А

B

C

D

P1

P2

Р3

Р4

Р5

P6

P7

P8

P9

P

C1

C2

C3

C4

C5

0

0

0

0

0

1

1

1

1

1

1

1

0

1

0

0

0

0

0

0

1

0

0

0

1

1

1

1

1

0

1

1

1

1

0

0

0

0

0

1

2

0

0

1

0

1

1

1

1

1

1

0

1

1

0

0

0

0

0

0

3

0

0

1

1

1

1

1

1

0

1

1

1

1

0

0

0

0

0

1

4

0

1

0

0

1

1

1

1

1

1

1

0

1

0

0

1

0

1

0

5

0

1

0

1

1

0

1

1

1

1

1

1

1

0

0

1

1

1

1

6

0

1

1

0

1

1

0

1

1

1

1

1

1

0

0

1

1

1

0

7

0

1

1

1

1

0

0

1

1

1

1

1

1

0

0

1

1

1

1

8

1

0

0

0

0

1

1

1

1

1

1

1

1

0

1

0

1

0

0

9

1

0

0

1

0

1

1

1

1

0

1

1

1

0

1

0

1

0

1

10

1

0

1

0

1

1

1

1

1

1

0

1

0

0

1

0

1

0

0

11

1

0

1

1

1

1

1

1

1

0

1

1

0

0

1

0

1

0

1

12

1

1

0

0

1

1

1

0

1

1

1

1

1

0

1

1

1

1

0

13

1

1

0

1

1

1

1

0

1

1

1

1

1

0

1

1

1

1

1

14

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

1

1

1

0

15

1

1

1

1

1

1

1

1

1

1

1

1

1

1

1

1

1

1

1

Страница:  1  2  3  4 


Другие рефераты на тему «Математика»:

Поиск рефератов

Последние рефераты раздела

Copyright © 2010-2021 - www.refsru.com - рефераты, курсовые и дипломные работы