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

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

                       _   _ _

[(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 являются истиной. Это те варианты, где учитывается только одно основание (разрешение или запрещение правообладателя использовать результат интеллектуальной деятельности), т.е. соблюдаются правила деления по одному основанию.

 

Силлогизм

Первая фигура

 

М – Р

S – М

S – P

 

Пример:

 

Все авторские права являются правами интеллектуальной собственности.

Все литературные произведения являются объектами авторского права.

Некоторые литературные произведения являются объектами права интеллектуальной собственности.

 

Логическая форма силлогизма:

 

S – литературные произведения

Р – права интеллектуальной собственности

М – являться объектом авторского права

 

M⁺ a P^-

S^- а M^-      

S^- i P^-

 

Модус AА I – правильный

Форма силлогизма: модус AА I, первая фигура.

 

3.1.1 Проверка правильности силлогизма совмещением круговых схем

 

Составим круговые схемы посылок:

 

 

 

                                                    1 посылка

 

 

 

                                                               2 посылка

 

 

Закон 1 посылки: Р всегда включает М.

Закон 2 посылки: М всегда включает S.

В логическом квадрате присутствует только S и Р, М – нет; но М в силлогизме выполняет функцию то S, то Р.

М и в большей, и в меньшей посылке одно и то же; изображаем М одним кругом.

 Зафиксируем Р (по первой посылке) и рассмотрим все варианты положений S; всего существует 5 вариантов (логический квадрат):

 

А:

	S=P

                                     1 вариант       

 

 

 

                                      2 вариант      

 

 

Е:

 

P

S

                                                                 3 вариант        

 

 

I (О):

 

P

S

                                                          4 вариант

 

 

 

                                                 5 вариант      

 

Рассмотрим 1 вариант:

 

 

 

В данном случае нарушается закон 2 посылки, так как М должно включать S, а S полностью включает М. То есть данный вариант невозможен.

 

 

Рассмотрим 2 вариант:

 

 

 

М

                                          

 

 

В данном случае законы посылок не нарушаются, следовательно, данный вариант возможен.

 

Рассмотрим 3 вариант:

 

 

S

                                                                     

М

 

 

В данном случае нарушается закон 2 посылки, так как M должно включать S. То есть данный вариант невозможен.

 

Рассмотрим 4 вариант:

 

P

S

                                                              

 

В данном случае нарушен закон 2 посылки, так как М должно включать S, следовательно, данный вариант невозможен.

 

Рассмотрим 5 вариант:

 

 

 

В данном случае нарушается закон 2 посылки, так как М должно включать S, а здесь S включает М.   То есть, данный вариант невозможен.