+7(996)961-96-66
+7(964)869-96-66
+7(996)961-96-66
Заказать помощь

Контрольная на тему Контрольная работа 121203-11 2

ОПИСАНИЕ РАБОТЫ:

Предмет:
ЛОГИКА
Тема:
Контрольная работа 121203-11 2
Тип:
Контрольная
Объем:
18 с.
Дата:
11.12.2012
Идентификатор:
idr_1909__0005426
ЦЕНА:
270 руб.

216
руб.
Внимание!!!
Ниже представлен фрагмент данной работы для ознакомления.
Вы можете купить данную работу прямо сейчас!
Просто нажмите кнопку "Купить" справа.

Оплата онлайн возможна с Яндекс.Кошелька, с банковской карты или со счета мобильного телефона (выберите, пожалуйста).
ЕСЛИ такие варианты Вам не удобны - Отправьте нам запрос данной работы, указав свой электронный адрес.
Мы оперативно ответим и предложим Вам более 20 способов оплаты.
Все подробности можно будет обсудить по электронной почте, или в Viber, WhatsApp и т.п.
 

Контрольная работа 121203-11 2 - работа из нашего списка "ГОТОВЫЕ РАБОТЫ". Мы помогли с ее выполнением и она была сдана на Отлично! Работа абсолютно эксклюзивная, нигде в Интернете не засвечена и Вашим преподавателям точно не знакома! Если Вы ищете уникальную, грамотно выполненную курсовую работу, контрольную, реферат и т.п. - Вы можете получить их на нашем ресурсе.
Вы можете заказать контрольную Контрольная работа 121203-11 2 у нас, написав на адрес ready@referatshop.ru.
Обращаем ваше внимание на то, что скачать контрольную Контрольная работа 121203-11 2 по предмету ЛОГИКА с сайта нельзя! Здесь представлено лишь несколько первых страниц и содержание этой эксклюзивной работы - для ознакомления. Если Вы хотите получить контрольную Контрольная работа 121203-11 2 (предмет - ЛОГИКА) - пишите.

Фрагмент работы:





Содержание


Задание 1 3
Задание 2 7
Задание 3 10
Задание 4 13
Задание 5 15
Список используемой литературы 18
Задание 1

Ниже приведенные знаки в контрольной работе будут обозначать следующие сложные суждения:
( - конъюнкция
( - нестрогая дизъюнкция
? строгая дизъюнкция
( - отрицание
( - импликация
( - эквиваленция
построение таблицы истинности
дана некоторая формула языка логики высказываний:
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
1) выписываем все варианты отношений между пропозициональными переменными. Число вариантов (строк в таблице) определяется по формуле х = 2 в степени n, где n – число пропозициональных переменных, т.е. букв латинского алфавита, каждая из которых выражает простое высказывание. Если букв 2, то число строк по формуле 4, если букв 3, то число строк 8, если букв 4, то число строк 16 и т.д. В данной формуле 3 пропозициональные переменные, следовательно в ней 8 строк.
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
p
q
r

































2) подставляем под каждой переменной ее значения
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
и и и и и и и
и и и л и и л
и л и и и л и
и л и л и л л
л и л и л и и
л и л л л и л
л л л и л л и
л л л л л л л
3) решаем отрицание пропозициональных переменных. В данной формуле есть одно такое отрицание:
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
и ли и и и и и
и ли и л и и л
и ил и и и л и
и ил и л и л л
л ли л и л и и
л ли л л л и л
л ил л и л л и
л ил л л л л л
4) Решаем внутренние скобки:
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
и л ли и л и и и и и
и л ли и и л и и л л
и и ил и л и и л л и
и и ил и и л и л л л
л л ли л и и л и и и
л л ли л л л л и л л
л л ил л и и л л л и
л л ил л л л л л л л
5) Выполняем внешние отрицания. В данной формуле есть оно внешнее отрицание, т.е. отрицание перед скобками.
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
и л ли и и л и и и и и
и л ли л и и л и и л л
и и ил и и л и и л л и
и и ил л и и л и л л л
л л ли л л и и л и и и
л л ли и л л л л и л л
л л ил л л и и л л л и
л л ил и л л л л л л л
6) Решаем внешние скобки:
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
и л ли и и и л и и и и и и
и л ли л л и и л и л и л л
и и ил и и и л и и л л л и
и и ил и л и и л и л л л л
л л ли л л л и и л л и и и
л л ли и и л л л л и и л л
л л ил л л л и и л и л л и
л л ил и и л л л л и л л л
7) Решаем внешнее отрицание внешних скобок:
((p ( q) ( ((p( r) ( (p (( r))) ( ( (q ( r)
л и л ли и и и л и и и и и и
и и л ли л л и и л и л и л л
л и и ил и и и л и и л л л и
л и и ил и л и и л и л л л л
и л л ли л л л и и л л и и и
л л л ли и и л л л л и и л л
и л л ил л л л и и л и л л и
л л л ил и и л л л л и л л л
В общем виде алгоритм решения выглядит так: сначала решаем внутренни