ЗАДАЧІ З ТЕМИ 6 «ЛОГІЧНІ ОСНОВИ ТЕОРІЇ АРГУМЕНТАЦІЇ»
Завдання № 1
За допомогою наведених аргументів довести версію А:
С → (A ∨ B)
C → B
B
Завдання № 2
За допомогою наведених аргументів спростувати версію А:
(B &or C) &rarr A
C ∨ D
D ↔ B
D
Завдання № 3
За допомогою наведених аргументів довести версію D:
B → (C ∧ D)
B ∨ A
A
Завдання № 4
За допомогою наведених аргументів спростувати версію D:
(A ∧ B) → D
A → С
B ∨ C
C
Завдання № 5
За допомогою наведених аргументів довести версію C:
(A &or B) → C
D ↔ A
B ∨ D
D
Завдання № 6
За допомогою наведених аргументів спростувати версію C:
(A ∧ B) → C
A ∨ D
B ∨ D
D
Завдання № 7
За допомогою наведених аргументів довести версію C:
(A ∨ B) → C
A ∨ D
D → B
D
Завдання № 8
За допомогою наведених аргументів спростувати версію C:
A → (B ∧ C)
A ∨ D
D → B
D
Завдання № 9
За допомогою наведених аргументів довести версію C:
A → (В ∨ С)
A ∨ B
B
Завдання № 10
За допомогою наведених аргументів спростувати версію А:
(С ∧ D) → A
B ∨ D
C → B
B