Составить таблицу истинности. Доказать истинность заключения дедуктивным методом. Нарисовать граф вывода заключения дедуктивным методом. Доказать истинность заключения по методу резолюции и нарисовать граф вывода пустой резольвенты.
Вариант
| Доказать истинность заключения
|
1.
| (B®A); (B®(ùAÚC)) |¾ (B®(ùBÚC))
|
| (ùAÚB); (CÚùB) |¾ (A®C)Ú(A®ùC)
|
3.
| (ùAÚùB) |¾ (ù B®A)Ú(А®С)
|
4.
| (A®B) |¾ ((ùBÚC)®(ùAÚC))
|
| (A®(B®C)); (A®B) |¾ (A®C)
|
| (ù AÚB); (C®ù B) |¾ A®ù C
|
7.
| (A®B); ù (BÚC) |¾ ù A
|
8.
| (A®(B®C); (A®B) |¾ (A®(A®C))
|
| (A®(B®C)) |¾ (B®(A®C))
|
10.
| (AÚC); (A®B);A |¾ (AÚC)®(BÚC)
|
11.
| (A®C); (B®A) |¾ (ù CÙB)
|
12.
| C; (A®B) |¾ ((C®A)®(C®B))
|
13.
| (A®(B®C)) |¾ ((AÙB)® C)
|
| (B® (A®C)); (B®A) |¾ (B®C)
|
15.
| (A®(B®C)); (ù DÚA);B |¾ (D®C)
|
16.
| (AÚB); (A®C); (B®D) |¾ CÚD
|
17.
| (A®B); (C®B); (D®(AÚC)); D |¾ B
|
18.
| (A®B); (B®C); (C®D) |¾ (A®D)
|
| (B®(A®C)); (B®A) |¾ (B®(B®C))
|
| (A®(C®B)); (ù DÚA); C; D |¾ D®B
|
| (A®B); (C®D) |¾ (AÙC®BÙD)
|
| (A®B); (ù A®B) |¾ BÚ (A®C)
|
| (B®A); (B®(A®C)) |¾ (B®C)
|
| (A®B) |¾ (ùC®A)®(ùC®B)
|
| (A®B); (A®(ùBÚC)) |¾ (A®C)
|
| (AÙBÚùAÙùB) |¾ (A®C)«(B®C)
|
| (A®(B®C));(A®B);A |¾ C
|
| (AÙB®C) |¾ (A®(B®C))
|
| (B®(A®C)); (B®A) |¾ (B®(B®C))
|
| (AÙBÚCÙD); (A®ù A) |¾ C
|