logo search
Авторское право

2.5 Сложное суждение со всеми союзами.

Полная таблица истинности

Используя логические союзы "и", "или", "если…, то…", "тогда и только тогда…, когда…", составим рассуждение:

_ _ _

[(b v c) a] ^ [(b v c) = a ]*,

где а - литературное произведение издано и охраняется авторским правом;

b - автор может разрешать другим лицам использовать результат интеллектуальной деятельности;

с - автор может запрещать другим лицам использовать результат интеллектуальной деятельности.

Составляем полную таблицу истинности:

№ п/п

(b v c)

_ _

(b v c)

[ (b v c) a]

_ _ _

[ (b v c) = a]

*

1

И

И

И

Л

Л

Л

И

Л

И

И

И

2

И

И

Л

Л

Л

И

И

И

И

Л

Л

3

И

Л

И

Л

И

Л

И

И

И

Л

Л

4

И

Л

Л

Л

И

И

Л

И

Л

Л

Л

5

Л

И

И

И

Л

Л

И

Л

И

Л

Л

6

Л

И

Л

И

Л

И

И

И

И

И

И

7

Л

Л

И

И

И

Л

И

И

И

И

И

8

Л

Л

Л

И

И

И

Л

И

И

И

И

Вывод: таким образом, данное суждение имеет восемь вариантов ответов, где только 4 являются истиной. Это те варианты, где учитывается только одно основание (разрешение или запрещение правообладателя использовать результат интеллектуальной деятельности), т.е. соблюдаются правила деления по одному основанию.