Задание по логике

[Liksas]

Помогите, пожалуйста, разобраться в задании.
Необходимо выявить логическую форму следующего рассуждения. Табличным способом определить: статус каждого высказывания, установить правильность рассуждения.

Если человек принял какое-то решение и он правильно воспитан, то он преодолеет все конкурирующие желания. Человек принял решение, но не преодолел некоторых конкурирующих желаний. Следовательно, он неправильно воспитан.

Форма рассуждения: условно-категорическое умозаключение.
- посылка: если человек принял какое-то решение и он правильно воспитан, то он преодолеет все конкурирующие желания - условное суждение;
- посылка: человек принял решение, но не преодолел некоторых конкурирующих желаний - категорическое суждение;
- заключение: следовательно, он неправильно воспитан - категорическое суждение.

Если человек принял какое-то решение и он правильно воспитан (p), то он преодолеет все конкурирующие желания (q).
Человек принял решение, но не преодолел некоторых конкурирующих желаний (не-q).
Следовательно, он неправильно воспитан (не-p)

Схема:
$\frac{p\supset q, q}{p}}$

...и нужно табличным способом определить статус каждого высказывания и правильность рассуждения...Помогите, пожалуйста.

[Sonic86]

По-моему схема не та (а то, что Вы написали, это кажется вообще не схема), тогда уж пишите $\frac{p \supset q, \neg p}{\neg p}$. А еще точнее будет, если в $q$ выделить конъюнкцию, но тогда будет 1 сложная схема рассуждения или 2 простые схемы.
А что с таблицей? Пишите всевозможные варианты переменных в несколько столбиков (число столбиков = числу переменных), вычисляете для каждого набора значений переменных истинность высказываний, составляющих схему, ну и смотрите - правильно или нет. Можете свести к проверке истинности высказывания. Только определитесь сначала с числом переменных, у Вас их сейчас 2, а лучше бы 3.

[Liksas]

А если ввести еще одну переменную, то получится так: если человек принял какое с решение (p) и он правильно воспитан (q), то он преодолеет все конкурирующие желания (с). Человек принял решение, но не преодолел некоторых конкурирующих желаний (конъюнкция не с). Следовательно, он неправильно воспитан (не q). Правильно? Извините, не могу написать формулу, сижу с телефона.

[PAV]

Такие вещи у нас в гуманитарном разделе как-то прижились. Переношу.

[Liksas]

Но это все равно остается условно-категорическим умозаключением, да? И еще подскажите, пожалуйста, как обозначается знак запятой в формуле? И какая формула получится? Одна сложная или две простые?

[Sonic86]

Liksas
Вроде правильно.
Видимо, условно-категорическое.
Запятая так и обозначается. По-моему, лучше 2 простые.