Формализуйте языком исчисления высказываний следующие суждения. Определите вид каждого сложного суждения

1) Налог считается установленным лишь в том случае, когда определены налогоплательщики и элементы налогообложения (ст. 17 НК РФ);


2) Авансированная стоимость не возросла, не произвела прибавочной стоимости, следовательно, деньги не превратились в капитал (Маркс К. Капитал).

задан 7 Июн '17 21:19

изменен 7 Июн '17 23:30

В таких случаях обычно берут форму высказывания. В первом случае это A -> B & C, то есть импликация. Смысл в том, что если налог установлен, то обязательно выполнены два других условия.

Во втором случае тоже импликация, но с отрицаниями: not(P) & not(Q) -> not(R).

(8 Июн '17 0:12) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×3,711

задан
7 Июн '17 21:19

показан
469 раз

обновлен
8 Июн '17 0:12

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru