ЗАДАЧІ З ТЕМИ 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:

(AB) → C

A D

BD

D

Завдання № 7

За допомогою наведених аргументів довести версію C:

(A ∨ B) → C

A ∨ D

DB

D

Завдання № 8

За допомогою наведених аргументів спростувати версію C:

A → (B ∧ C)

AD

D → B

D

Завдання № 9

За допомогою наведених аргументів довести версію C:

A → (В ∨ С)

A ∨ B

B

Завдання № 10

За допомогою наведених аргументів спростувати версію А:

(С ∧ D) → A

B ∨ D

C → B

B