Технические, готовая контрольная работа

ZAUCHKA.ru

+7 913 789-74-90

Интернет-магазин/Высшая математика, теория вероятности и мат. статистика/Математическая логика/Логика В4

Тема/Вариант	Логика В4
Предмет	Математическая логика
Тип работы	контрольная работа
Объем работы	2
Дата поступления	12.12.2012

600 ₽

Содержание

1. Дать определение следующим понятиям: 2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме: 3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме. а) я буду очень удивлен (q), если моя догадка не подтвердиться (p); p=>q 4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме: а) а?((а?b)va); 4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме: а) а?((а?b)va); 5. Сделать вывод посредством превращения из следующих посылок: а) не все преступления являются умышленными - некоторые преступления 6. Сделать вывод посредством обращения из следующих посылок: а) не все преступления являются умышленными; б) ни одна захватническая война не является справедливой – ни одна 7. Сделать вывод посредством противопоставления предикату из следующих посылок: а) не все преступления являются умышленными – некоторые неумышленные 1. Сделать вывод по правилам простого категорического силлогизма (если это возможно) из следующих посылок. Если вывод сделать невозможно – указать причину. Джон трудолюбив. Ни один трудолюбивый человек не является несчастным.

Введение

Литература

Уточнение информации

+7 913 789-74-90
info@zauchka.ru
группа вконтакте