1. Аристотель. Об истолковании. Сочинения. М., 1978

2. Боровиков В.Б.Сборник задач по уголовному праву. Особенная частьМ., Щит-М, 2008

3. Бочаров В.А., Маркин В.И. Основы логики, М, Инфра-М., Форум, 2009

4. Брюшинкин В.Н. Практический курс логики для гуманитариев. М., Новая школа, 1996

5. Губко А.А., Евсюнин И.Н. Практикум по криминалистике / Под ред. проф. И.А. Возгрина. Издание 4-е., исправленное. - СПб.: ГУАП, 2006

6. Дегтярев М.Г., Хмелевская С.А. Логика, М., «ПЕР СЭ», 2003

7. Ивин А.А. Логика и теория аргументации. М., Гардарики, 2007

8. Ивин А.А., Никифоров А.Л. Словарь по логике - М., ВЛАДОС, 1997

9. Ивлев Ю.В. Логика для юристов. М., Дело, 2005

10. Кириллов В.И., Старченко А.А. Логика, М., Проспект, 2009, с. 31–62

11. Кириллов А.В., Орлов Г.А., Фокина Н.И. Логика: задачи и упражнения. М., Проспект, 2008

12. Кнапп В., Герлах А. Логика в правовом сознании. М.: Прогресс, 1987.

13. Кузина Е.Б. Практическая логики: упражнения и задачи с объяснением способов их решения. М., Триада Лтд, 1996

14. Кэрролл Л. Логическая игра. М., Просвещение, 2008

15. Маковельский А.О. История логики. М., Кучково поле, 2004 г.

16. Малько А.В. Теория государства и прав. М., КноРус, 2009

17. Марченко М.Н. Теория государства и права.  М., Проспект, 2009.

18. Поварнин С.И. Спор. О теории и практике спора. С.-Пб., 1996

19. РузавинГ. И. Основы логики и аргументации М.,

20. Юнити-Дана, 2007

21. Российская юридическая энциклопедия. Гл.Ред. А. Я. Сухарев. М., Инфра, 1999

22. Треушников М.К. Судебные оказательства. М., Городец, 2004

При составлении практического части использовались материалы:

1. Дегтярев М.Г., Хмелевская С.А. Логика, М., «ПЕР СЭ», 2003

2. В. И. Кириллов, Г. А. Орлов, Н. И. ФокинаУпражнения по логике. М.,Профобразование, 2003

ПРИЛОЖЕНИЕ 2

Определения логических связок

Примеры построения таблиц истинности

Определения логических связок

Номер строки	А	В	АВ	АВ	АВ	АВ	АВ
1	и	и	и	и	л	и	и
2	и	л	л	и	и	л	л
3	л	и	л	и	и	и	л
4	л	л	л	л	л	и	и

Номер строки	А	А
1	и	л
2	л	и

АиВв этих таблицах обозначают суждения любой степени сложности.

Примеры построения таблиц истинности.

Пример 1

Построим таблицу истинности для формулы pq, гдериqсимволы, обозначающие простые суждения.

Число строк в таблице определяется по формуле 2ⁿ, где n – число символов, обозначающих простые суждения. В нашем случае в таблице будет четыре строки. Четыре строки в таблице позволяют просмотреть все возможные сочетания истинностных значений р и q, т.е. все ситуации, возможные для двух простых суждений. Значение формулы pq вычисляется по определению .

p	q	pq
и	и	и
и	л	л
л	и	л
л	л	л

Пример 2

pq

В таблице будет также четыре строки. В отличие от примера 1здесь две логические связки:и. Главной связкой является, которая соединяетp иq. Данная формула имеет видАВ, гдеАестьp, аВестьq. Для того, чтобы найти значениеАВ, нужно знать значениеА и значение В. Значение В(q) нам дано, а значениеА(p) надо вычислить. Значениеp вычисляется по определению .

p	q	p	pq
и	и	л	л
и	л	л	л
л	и	и	и
л	л	и	л

По определению отрицания, еслирпринимает значениеистинна, отp принимает значениеложь, и наоборот (см. таблицу определения).

Значение формулы pqнаходим следующим образом:

• в первой строкетаблицыp ложно, аqистинна, поэтому,по определению (строка 3 в определении), формулаpqпринимает значениеложь;

• во второй строкетаблицыp ложно, иqложна, поэтому,по определению (строка 4 в определении), формулаpqпринимает значениеложь;

• в третьей строкетаблицыp истинно, иqистинна, поэтому,по определению (строка 1 в определении), формулаpqпринимает значениеистинна;

• в четвертой строкетаблицыp истинно, аqложна, поэтому,по определению (строка 2 в определении), формулаpqпринимает значениеложь.

Пример 3

(pq)q

Данная формула имеет вид АВ, гдеАестьpq, а В есть q. Чтобы вычислить значение формулыАВ, надо вычислить значениеА(pq) и значениеВ (q). ЗначениеВнам дано, поэтому нужно вычислить значениеА. ЗначениеАвычисляется как впримере 2.

p	q	p	pq	(pq)q
и	и	л	л	и
и	л	л	л	и
л	и	и	и	и
л	л	и	л	и

Значение формулы (pq)qнаходим следующим образом:

Сначала выполняем действия примера 2и находим значениеpq. Зная значениеpqи значениеq, по определениювычисляем значение формулы(pq)q.

• в первой строкетаблицыpqложно, аqистинна, поэтому,по определению (строка 3 в определении), формула(pq)qпринимает значениеистинна;

• во второй строкетаблицыpq ложно, иqложна, поэтому,по определению (строка 4 в определении), формула(pq)qпринимает значениеистинна;

• в третьей строкетаблицыpq истинно, иqистинна, поэтому,по определению (строка 1 в определении), формула(pq)qпринимает значениеистинна;

• в четвертой строкетаблицыpq ложна, иqложна, поэтому,по определению (строка 4 в определении), формула(pq)qпринимает значениеистинна.

Обратите внимание, что результирующий столбец значений формулы (pq)qсостоит только из значенийистина, данная формула является логическим законом. При любой интерпретации символовp иq, т.е. независимо от содержания простых суждений, полученное сложное суждение будет истинным.

Пример 4

((pq)q)

В данной формуле четыре логические связки, значит, для вычисления значения формулы необходимо произвести четыре действия

(4)	(1)	(2)	(3)
	((p	 q)	 q)

Данная формула имеет вид А, главный знак – отрицание. Чтобы найти значениеА, нужно знать значениеА, которое вычисляется как впримере 3.

		(1)	(2)	(3)	(4)
p	q	p	pq	(pq)q	((pq)q)
и	и	л	л	и	л
и	л	л	л	и	л
л	и	и	и	и	л
л	л	и	л	и	л

По определению отрицания, еслиАпринимает значениеистинна, отА принимает значениеложь, и наоборот (см. таблицу определения), вычисляем значение((pq)q).

Обратите внимание, что результирующий столбец значений формулы  (pq)qсостоит только из значенийложь, данная формула является тождественно-ложной. При любой интерпретации символовp иq, т.е. независимо от содержания простых суждений, полученное сложное суждение будет ложным.

Пример 5

(pq)(pr)

В данном примере три символа для обозначения простых суждений, поэтому в таблице будет 2³=8 строк. Восемь строк исчерпывают все возможные комбинации значений истина и ложь для трех символов. Для вычисления значения данной формулы нужно произвести следующие действия:

(1)	(4)	(2)	(3)
(pq)		((p	 q)

Данная формула имеет вид АВ, гдеАесть(pq), аВ-(pr). Зная значенияp,qиr, найдем значения(pq)и(pr)по аналогии с предыдущими примерами, используя определения логических связок, а затем значение(pq)(pr).

			(1)	(2)	(3)	(4)
p	q	r	pq	p	pr	(pq)(pr)
и	и	и	и	л	и	и
и	и	л	и	л	и	и
и	л	и	л	л	и	и
и	л	л	л	л	и	и
л	и	и	и	и	и	и
л	и	л	и	и	л	и
л	л	и	и	и	и	и
л	л	л	и	и	л	и