Задача по математической логике

[vovamakarovych]

Ниже дан перечень правильных утверждений:
1. Предприятие РК торгует сигаретами
2. Сигареты являются подакцизным товаром.
3. Предприятие ПС не торгует сигаретами.
4. Предприятии ПС имеет годовой оборот 560 000 грн.
5. Предприятии РК имеет годовой оборот 100 000 грн
6. Каждое предприятие, которое не торгует подакцизными товарами, и годовой оборот которого не превышает 1 000000 грню. , И только такое предприятие может выбрать упрощенную систему налогообложения.
Какие из следующих утверждений логически из них следующие:
7. Предприятие РК не может избрать упрощенную систему налогообложения.
8. Предприятие ПС не может избрать упрощенную систему налогообложения.
9. Предприятие ПС может выбрать упрощенную систему налогообложения.

Мой ответ: 7 ложное. А для 8 и 9 недостаточно информации. Но формуламы я не могу доказать.. .подскажите как ето зделать

[svv]

6. Каждое предприятие, которое не торгует пилакцизнимы подакцизными товарами, и летний годовой обоорот которого не превышает 1 000000 грню. , И только такое пыдприэмство предприятие может выбрать упрощенную систему налогообложения.

И всё равно не по-русски, как будто что-то пропущено.

[vovamakarovych]

ошибки исправил ... ничего не пропущено

[svv]

У Вас все предприятия имеют годовой оборот $< 1 000 000$ грн. Поэтому вопрос о том, может ли предприятие выбрать упрощенную систему, зависит в Вашей задаче всецело от того, торгует оно подакцизным товаром или нет.

Про предприятие РК известно, что оно торгует подакцизным товаром (из 1 и 2).
Из 6: может выбрать упрощенную систему только такое предприятие, которое не торгует подакцизным товаром.
а) Сделайте вывод из этих двух утверждений.
б) Сравните с 7.
в) Сделайте вывод об истинности или ложности 7.

[vovamakarovych]

а) ПС не торгует
в)7 лож ..

верно?

-- 09.12.2011, 20:28 --

но как мне предикатамы ето довести?

[svv]

vovamakarovych, будьте внимательны!

vovamakarovych писал(а):

1. Предприятие РК торгует сигаретами
2. Сигареты являются подакцизным товаром.

Здесь у Вас про какое предприятие говорится?

svv в сообщении #513632 писал(а):

Про предприятие РК известно, что оно торгует подакцизным товаром (из 1 и 2).
Из 6: может выбрать упрощенную систему только такое предприятие, которое не торгует подакцизным товаром.

Здесь у меня про какое предприятие говорится?
Наконец, в пункте 7, к которому я веду, про какое предприятие говорится?

vovamakarovych писал(а):

7. Предприятие РК не может избрать упрощенную систему налогообложения.

vovamakarovych писал(а):

а) ПС не торгует

А Вы про какое?

[vovamakarovych]

svv в сообщении #513637 писал(а):

vovamakarovych, будьте внимательны!

vovamakarovych писал(а):

1. Предприятие РК торгует сигаретами
2. Сигареты являются подакцизным товаром.

Здесь у Вас про какое предприятие говорится?

и про РК и про ПС

svv в сообщении #513632 писал(а):

Про предприятие РК известно, что оно торгует подакцизным товаром (из 1 и 2).
Из 6: может выбрать упрощенную систему только такое предприятие, которое не торгует подакцизным товаром.

Цитата:

Здесь у меня про какое предприятие говорится?

и про РК и про ПС

Цитата:

Наконец, в пункте 7, к которому я веду, про какое предприятие говорится?

vovamakarovych писал(а):

7. Предприятие РК не может избрать упрощенную систему налогообложения.

и про РК и про ПС

Цитата:

vovamakarovych писал(а):

а) ПС не торгует

А Вы про какое?

Я и про РК и про ПС

-- 09.12.2011, 21:00 --

ок. основываю свое мнение:
во первых пункты 2 и 6 относятся к 2 предприятий РК и ПС
во вторых давайте рассмотрим по порядку 7-9 пункта:
7. Предприятие РК не может избрать упрощенную систему налогообложения.
РК .
PK торгует сигаретами и не имеет оборот> 1000 000 следовательно утверждение 7 истинное.
8. Предприятие ПС не может избрать упрощенную систему налогообложения.
ПС не торгует сигаретами но оно может торговать водкой а водка это подакцизный товар. и оборот ПС не> 1 000 000 следовательно у нас недостаточно информации чтобы сказать ответ
9. Предприятие ПС может выбрать упрощенную систему налогообложения.
так как и в нункте 8 у нас недостаточно информации потомушто


Но как мне доказать ето на предикатах я незнаю((((

[svv]

Мы не можем одновременно применять общие утверждения к РК и ПС, потому что нам важны не сами общие утверждения, а их истинность по отношению к данному предприятию. А эта истинность может быть разной для РК и для ПС.

Рассматриваем сейчас только РК. Итак, повторяю вопросы.

Про предприятие РК известно, что оно торгует подакцизным товаром (из 1 и 2).
Из 6: может выбрать упрощенную систему только такое предприятие, которое не торгует подакцизным товаром.
а) Сделайте вывод из этих двух утверждений.
б) Сравните с 7.
в) Сделайте вывод об истинности или ложности 7.

[vovamakarovych]

а)делаю вывод PK торгует подакцизным товаром а сигареты есть подакцизным товаром
б) да РК не может избрать упрощенную систему налогообложения
в) истиннность

[svv]

Ну вот и хорошо.
Записать это формально -- может быть, кто-нибудь другой поможет?

[vovamakarovych]

svv в сообщении #513654 писал(а):

Ну вот и хорошо.
Записать это формально -- может быть, кто-нибудь другой поможет?

наверное никто не напишет (((

[svv]

vovamakarovych, я не обещаю продолжать, но всё-таки скажите, пожалуйста, какими средствами нам разрешается пользоваться при записи формул?
То есть что Вы уже проходили, а что нет? Проходили ли Вы предикаты $P(x)$, кванторы $\forall, \exists$?

[vovamakarovych]

да проходили и предикаты и кванторы

[svv]

Введем предикаты:
$T(x, y)$ -- предприятие $x$ торгует товаром $y$
$A(y)$ -- товар $y$ является подакцизным
$G(x)$ -- годовой оборот предприятия $x$ превышает критическую величину
$S(x)$ -- предприятие $x$ может выбрать упрощенную схему налогообложения

Как бы Вы записали тогда такое утверждение (пункт 6)? Специально разобъю его на строки, может, так будет яснее.
Для любого предприятия $x$
ЕСЛИ
существует такой товар $y$, что $x$ торгует $y$ И $y$ является подакцизным,
ИЛИ годовой оборот предприятия $x$ превышает критическую величину
ТО
предприятие $x$ НЕ может выбрать упрощенную схему налогообложения.

Заодно узнаю, какие в Вашем учебном заведении приняты обозначения.
Если Вы не согласны с моей формулировкой пункта 6, можете предложить свою.

[vovamakarovych]

svv в сообщении #513688 писал(а):

Введем предикаты:
$T(x, y)$ -- предприятие $x$ торгует товаром $y$
$A(y)$ -- товар $y$ является подакцизным
$G(x)$ -- годовой оборот предприятия $x$ превышает критическую величину
$S(x)$ -- предприятие $x$ может выбрать упрощенную схему налогообложения

Как бы Вы записали тогда такое утверждение (пункт 6)? Специально разобъю его на строки, может, так будет яснее.
Для любого предприятия $x$
ЕСЛИ
существует такой товар $y$, что $x$ торгует $y$ И $y$ является подакцизным,
ИЛИ годовой оборот предприятия $x$ превышает критическую величину
ТО
предприятие $x$ НЕ может выбрать упрощенную схему налогообложения.

Заодно узнаю, какие в Вашем учебном заведении приняты обозначения.
Если Вы не согласны с моей формулировкой пункта 6, можете предложить свою

$\forall $x / exists $y \ wedge $x $y\vee$A(y)

-- 09.12.2011, 22:28 --

svv в сообщении #513688 писал(а):

Введем предикаты:
$T(x, y)$ -- предприятие $x$ торгует товаром $y$
$A(y)$ -- товар $y$ является подакцизным
$G(x)$ -- годовой оборот предприятия $x$ превышает критическую величину
$S(x)$ -- предприятие $x$ может выбрать упрощенную схему налогообложения

Как бы Вы записали тогда такое утверждение (пункт 6)? Специально разобъю его на строки, может, так будет яснее.
Для любого предприятия $x$
ЕСЛИ
существует такой товар $y$, что $x$ торгует $y$ И $y$ является подакцизным,
ИЛИ годовой оборот предприятия $x$ превышает критическую величину
ТО
предприятие $x$ НЕ может выбрать упрощенную схему налогообложения.

Заодно узнаю, какие в Вашем учебном заведении приняты обозначения.
Если Вы не согласны с моей формулировкой пункта 6, можете предложить свою

$\forall $x \exists $y \wedge $x $y\vee$A(y) \rightarrow$x \neg S(x)