Автор: Пользователь скрыл имя, 01 Марта 2013 в 17:09, контрольная работа
Логика – наука о законах и формах человеческого мышления, рассматриваемого как средство познания окружающей действительности.
Логика изучает объективно сложившуюся структуру мыслительного процесса, установившиеся связи понятий и суждений при выведении нового знания в умозаключениях. Вполне естественно, что устойчивые связи элементов правильной мысли приобретают характер законов.
Анализ таких связей наряду с описанием структурных форм мышления и составляет предмет изучения логики.
1.Предмет логики, ее роль в практической и теоретической практике. (Теоретическая часть.)
2. Практическая часть.
2.1.Дайте логическую характеристику понятиям «Законность», «Равноценно», «Справка с места жительства».
2.2.Установите правильность следующих определений (в неправильных определениях укажите, какое правило нарушено; дайте правильное определение). «Укрывательство - это заранее не обещанное укрывательство преступника», «Контрабанда — перемещение товаров через таможенную границу», «Раб - это человек, не имеющий свободы», «Преступление - это общественно опасное деяние, совершенное с умыслом».
2.3.Определите вид суждения, приведите схемы атрибутивных суждений и суждений с отношениями. «Ничто не существует беспричинно», «Исполнительные документы, по которым истек срок давности, судом в производства не принимаются».
2.4.Установите вид сложного суждения, укажите его части (простые суждения), запишите суждения с помощью символов, используя логические связки. «Лицо не несет ответственности за отказ давать показания или объяснения в отношении себя, членов семьи или близких родственников, круг которых определен законодательством».
2.5.Установите сокращенным табличным методом, является ли законом логики формула ((p→q)^(q→r)^(r→s))→(p→s).
Сложные суждения образуются из простых с помощью так называемых логических союзов (логических связок): «НЕВЕРНО, ЧТО» (отрицание), «И», «А», «НО», «ДА» и т.д. (конъюнкция), «ИЛИ» (нестрогая дизъюнкция), «ЛИБО, ЛИБО» (строгая дизъюнкция), «ЕСЛИ, ТО» (импликация), "ЕСЛИ И ТОЛЬКО ЕСЛИ…, ТО», «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (эквиваленция, тождественность). В соответствии с функциями логических связок основными видами сложных суждений являются: соединительные, разделительные, условные и эквивалентные суждения.
Таким образом, разделительным (дизъюнктивным) называют суждение, включающее в качестве составных частей суждения-дизъюнкты, объединяемые связкой “или”. В целом разделительное суждение символически можно выразить как р V q. (р, q – суждения, V – дизъюнкция).
Бывает две разновидности дизъюнкции: слабая и сильная (или нестрогая и строгая. Слабая (нестрогая) дизъюнкция образуется логическим союзом “или”. Она характеризуется тем, что объединяемые им суждения не исключают друг друга. Языковые средства выражения слабой дизъюнкции – грамматические союзы “или”, “либо” и другие.
Слабая дизъюнкция истинна в тех случаях, когда истинно, по крайней мере, одно из составляющих ее суждений, и ложна, когда оба суждения ложны (См. табл.2.3).
Таблица 2.3
Слабая дизъюнкция
А |
В |
A V B |
И |
И |
И |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
Л |
Дизъюнкция может состоять из трех и более исходных суждений – по формуле pVqVr….
Сильная (строгая) дизъюнкция образуется логическим союзом “либо... либо” (символ V). Она отличается от слабой тем, что её составляющие исключают друг друга. Общая формула: p V q.
Строгая дизъюнкция истинна лишь тогда, когда одно из составляющих ее суждений истинно, а другое ложно (табл. 2.4).
Таблица 2.4
Сильная (строгая) дизъюнкция
А |
В |
A V B |
И |
И |
Л |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
Л |
Установим вид сложного суждения.
Лицо не несет ответственности за отказ давать показания или объяснения в отношении себя, членов семьи или близких родственников, круг которых определен законодательством.
Вид сложного суждения - разделительное, логическая связка «или» - нестрогая дизъюнкция.
Части сложного суждения (простые суждения):
Лицо не несет ответственности за отказ давать показания в отношении себя, членов семьи (a).
Лицо не несет ответственности за отказ давать показания в отношении близких родственников (b).
Лицо не несет ответственности за отказ давать объяснения в отношении себя, членов семьи (c).
Лицо не несет ответственности за отказ давать объяснения в отношении близких родственников (d).
Запишем суждения с помощью символов, используя логические связки.
a ∨ b ∨ c ∨ d .
2.5.Установите сокращенным табличным методом, является ли законом логики формула ((p→q)^(q→r)^(r→s))→(p→s).
Любое сложное суждение является истинным или ложным в зависимости от истинности или ложности входящих в него простых суждений.
Первая часть рассуждения представляет собой импликацию: p→q, (первое является её основанием, а второе – следствием).
Далее, к импликации присоединяется утверждение второго сложного утверждения (также импликация), и получается конъюнкция: (p→q) ∧ (q→r).
К этой конъюнкции присоединяется новая импликация r→s и получаем конъюнкцию (p→q)^(q→r)^(r→s), а из всего выражения вытекает сложное утверждение и получается новая импликация: p→s, которая и является результатом формализации рассматриваемого рассуждения. То есть мы должны получить формулу, которая является законом логики, т.е. тождественно-истинной формулой. В данном случае формула такова: ((p→q)^(q→r)^(r→s))→(p→s) .
Например:
Если правильно внести удобрения, то урожай повысится.
Если урожай повысится, то себестоимость продукции станет ниже.
Если себестоимость продукции стане ниже, то можно увеличить продажу продукции.
Если правильно внести удобрения, то можно увеличить продажу продукции.
Доказательство тождественной истинности этой формулы проводим табличным методом.
Чтобы установить является ли законом логики формула ((p→q)^(q→r)^(r→s))→(p→s) составим таблицу её истинности (табл.2.6).
В формуле четыре переменные, значит, в таблице будет -шестнадцать строчек; также в формуле семь союзов (→, ∧, →,∧,→,→,→), значит, в таблице будет (4+7) одиннадцать колонок.
Первые четыре колонки – это истинностные значения переменных. Пятая, шестая колонки – истинностные значения импликации. Седьмая колонка – истинностные значения конъюнкции. Восьмая колонка – истинностные значения импликации, девятая - истинностные значения конъюнкции и десятая – импликации, одиннадцатая, последняя колонка – истинностные значения всей формулы – итоговой импликации. Таким образом, мы разбили формулу на составные части, представляющие собой двучленные сложные суждения.
Для конъюнкции и импликации таблица истинности такова (табл.2.5):
Таблица 2.5.
Конъюнкция и импликация
a |
b |
a ^ b |
a→b |
И |
И |
И |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
Л |
Л |
Л |
Л |
И |
Таким образом, соединительный логический союз (конъюнкция) формирует сложное суждение, истинное только в одном случае - когда все входящие в него простые суждения являются истинными. И это является законом для данного логического союза, т.е. сколько бы ни входило в это сложное суждение простых суждений, достаточно будет одного ложного из них, чтобы вся конъюнкция в целом оказалась ложной.
Импликация формирует истинное суждение во всех случаях, кроме случая, когда основание – истинно, а следствие – ложно.
Заполним последовательно колонки таблицы 2.6, опираясь на базисную таблицу истинности сложных суждений (см. табл.2.5).
Таблица 2.6
Проверочная таблица правильности построения формулы
p |
q |
r |
s |
p→q |
q→r |
(p→q)∧(q→r) |
r→s |
(p→q)^(q→r)^(r→s) |
p→s |
((p→q)^(q→r)^(r→s))→(p→s) |
И |
И |
И |
И |
И |
И |
И |
И |
И |
И |
И |
И |
Л |
И |
И |
Л |
И |
Л |
И |
Л |
И |
И |
И |
И |
Л |
И |
И |
Л |
Л |
И |
Л |
И |
И |
И |
И |
И |
Л |
И |
И |
И |
Л |
Л |
Л |
И |
И |
И |
Л |
Л |
И |
Л |
Л |
И |
Л |
Л |
И |
И |
Л |
Л |
Л |
Л |
И |
Л |
И |
Л |
Л |
И |
И |
Л |
Л |
И |
Л |
И |
Л |
И |
Л |
И |
И |
И |
Л |
И |
Л |
Л |
И |
Л |
Л |
Л |
Л |
И |
Л |
Л |
Л |
Л |
И |
И |
И |
И |
И |
И |
И |
Л |
И |
И |
И |
И |
И |
И |
И |
И |
И |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
И |
Л |
И |
И |
Л |
Л |
И |
И |
И |
И |
И |
И |
И |
И |
И |
Л |
Л |
Л |
И |
И |
И |
И |
И |
И |
И |
И |
Л |
И |
И |
Л |
И |
И |
И |
Л |
Л |
И |
И |
Л |
И |
Л |
Л |
И |
Л |
Л |
И |
Л |
И |
И |
Л |
Л |
И |
Л |
И |
И |
И |
Л |
Л |
И |
И |
Рассматриваемая формула принимает значение «истинно» при различных наборах истинностных значений входящих в неё переменных, следовательно, она является законом логики.
ЛИТЕРАТУРА