УПРАЖНЕНИЕ
1
Выделить все части формулы : (¬(P -> Q))^((P
v R) -> Q)
|
УПРАЖНЕНИЕ 2
Является ли формулой следующая запись? A -> (B ->
CA) |
УПРАЖНЕНИЕ
3
Выделить все части формулы : (P^( Qv(¬P)))^((P
-> Q) v Q) |
УПРАЖНЕНИЕ 4
Является ли формулой следующая запись? ( Q -> (P ^ R))^((P v R) -> Q) |
УПРАЖНЕНИЕ
5
Выделить все части формулы : ((¬A) -> B) ->
(¬(C v D)) |
УПРАЖНЕНИЕ
6
Является ли формулой следующая запись?
A -> B ->
C |
УПРАЖНЕНИЕ 7
Выделить все части формулы : (Q -> P)^((P
v R) -> Q)
|
УПРАЖНЕНИЕ
8
Является ли формулой
следующая запись? (P^(Q v ¬ P)^((P v Q)
-> R) |
УПРАЖНЕНИЕ 9
Выделить все части
формулы : (A ->
B) ^((B v C) -> A) |
УПРАЖНЕНИЕ
10
Является ли формулой
следующая запись? (X -> Y ^(Y v Z) -> X)
|
УПРАЖНЕНИЕ 11
Выделить все части
формулы : (P^(Q
v (¬ P)))^((P -> Q) v Q) |
УПРАЖНЕНИЕ 12
Является ли формулой
следующая запись?
(P->(Q
-> R)) -> ((P -> Q) ->
(P -> R))
|
УПРАЖНЕНИЕ 13
Выделить все части
формулы : (¬(A) ->
B) -> (¬(C v D)) |
УПРАЖНЕНИЕ 14
Является ли формулой
следующая запись? (A -> B) -> ((C v D)) |
УПРАЖНЕНИЕ 15
Выделить все части
формулы : ((X -> Y) ^(Y
-> Z)) -> (X -> Z) |
УПРАЖНЕНИЕ 16
Является ли формулой
следующая запись? (A -> B) -> (¬(C
v D)) |
УПРАЖНЕНИЕ 17
Выделить все части
формулы :
(A ->
(B -> C)) -> ((A -> B) ->
(A -> C))
|
УПРАЖНЕНИЕ 18
Является ли формулой
следующая запись?
((X ~ ((X
-> Y) ^(Y -> Z)X(Y ->
Z)) |
УПРАЖНЕНИЕ 19
Выделить все части
формулы : ((X
~ Y) ^(Y ~ Z)) -> (X ~
Z) |