Математическая логика и теория алгоритмов | Зачет | 20 вариант | СибГУТИ

Цена:
99 руб.

Состав работы

material.view.file_icon 161DE792-3296-4CFE-9CE8-51F84E3C2226.rar [ 9 KB ]
material.view.file_icon ZR.doc [ 59 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

Задание
Переведите данное рассуждение в логическую символику и проверьте его правильность
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.

Выполнения задания

Высказывание
Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.

Модель высказывания
Выделим в составе сложного высказывания из условия задачи простые высказывания. Получим
А - Иванов сделает работу;
B - Петров сделает работу;
C - Сидоров сделает работу

Дополнительная информация

Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: 08.09.2010

Другие работы

Исследование активных сглаживающих фильтров. Лабораторная работа №5 по дисциплине: Электропитание устройств и систем телекоммуникаций. Вариант №03
Цель работы Экспериментально определить коэффициенты сглаживания и к.п.д. различных схем активных фильтров с последовательным включением транзистора и нагрузки. Провести анализ переходных процессов на выходе фильтра при включении источника питания и работе на импульсную нагрузку. Номер бригады 3 U1, В 2 Исследование активного фильтра по схеме ОК.
СибГУТИ Электропитание устройств и сетей телекоммуникаций Работа Лабораторная
User ramzes14 : 4 марта 2014
50 руб.
Стенд для сборки рессор грузовых автомобилей (конструкторская часть дипломного проекта)
3 РАЗРАБОТКА КОНСТРУКЦИИ СТЕНДА ДЛЯ СБОРКИ ПЕРЕДНИХ МОСТОВ С РЕССОРАМИ Одним из трудоемких и требующих квалификации процессов сборки является процесс установки рессоры на передний мост автобуса. Этот процесс включает установку стремянки передней рессоры, установку накладки рессор, опоры буфера и подкладки рессор, установку пружинных шайб и заворачивание гаек с моментом 245—314 Н - м (25—32 кгс • м). Вручную, как это операции выполняется в настоящее время на предприятии, требует взаимодействия
Технология обслуживания и ремонта машин в АПК Диплом и связанное с ним
User AgroDiplom : 8 октября 2018
999 руб.
Стенд для сборки рессор грузовых автомобилей (конструкторская часть дипломного проекта) promo
Бюджетная система. Государственный долг
ВВЕДЕНИЕ БЮДЖЕТНАЯ СИСТЕМА ГОСУДАРСТВА Бюджетная система страны представляет собой сложный механизм, характеризующий особенности взаимоотношений государства и местных органов власти. Структура бюджета страны зависит от её государственного устройства. В странах, имеющих унитарное устройство, бюджетная система имеет как бы двухъярусное построение - государственный и местный бюджеты. В странах с федеративным государственным устройством (США, ФРГ) имее
Работа Экономика
User GnobYTEL : 10 февраля 2013
5 руб.
Созвездие Близнецы
Кастор и Поллукс - две главные, самые яркие звезды созвездия Близнецов, судя по их именам, должны быть как будто очень похожими друг на друга. Природа, однако, не пожелала считаться с мифами и наделила эти звезды весьма различными свойствами. Кастор - кратная звезда, два главных компонента которой представляют собой голубые горячие звезды. Поллукс - холодная оранжевая одиночная звезда. Поллукс ближе к нам, чем Кастор: до первой из этих звезд 10 пк, до второй 14 пк. Поллукс ничем, в сущности, не
Астрономия Работа
User Lokard : 12 августа 2013
10 руб.
up Наверх