Попса ли Rammstein? Опції

[Mouse]

Как вы думаете? Попса Рамштайн или нет? ?(

[Зигфрид]

Думаю, да.

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

Если в музыке есть тыц-тыц, то это - рэйв.
Если это рейв и он современный, то это технопоп. (мотивировано тем, что рэйв устарел)
Технопоп - это попса.
В Раммштайне есть тыц тыц и он современный. Значит, Раммштайн - попса.

A: в музыке есть тыц-тыц
B: это рэйв
C: это современная музыка
D: это технопоп
E: это попса

Соответственно, высказывание приводится к виду
(A->B)^((B^C)->D)^(D->E)^(A^C) |= E
То есть, необходимо доказать истинность формулы
(A->B)^((B^C)->D)^(D->E)^(A^C)->E

F ((A->B)^((B^C)->D)^(D->E)^(A^C)->E)
T ((A->B)^((B^C)->D)^(D->E)^(A^C)), F E
T (A->B), T (B^C)->D), T (D->E), T (A^C)
F A | T B, F (B^C), T D, F D, T E, T A, T C
F B | F C
1. {F A, F B, T D, F D, T E, T A, T C, F E}*
2. {F A, F C, T D, F D, T E, T A, T C, F E}*
3. {T B , F B , T D, F D, T E, T A, T C, F E}*
4. {T B, F C , T D, F D, T E, T A, T C, F E}*

Все 4 таблицы замкнуты, значит, исследуемая формула является логическим законом и между основанием и выводом существует отношение логического следствия. Таким образом, данное суждение является правильным.

Для тех, кто не поверил, другое доказательство.
От обратного. Доказываем, что Раммштайн - не попса.

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

A: музыка - попса
B: музыка оригинальна
C: есть люди, для которых эта музыка - тру

Соответственно, высказывание приводится к виду
(~A->B)^(B->C)^C) |= ~A
То есть, необходимо доказать истинность формулы
(~A->B)^(B->C)^C) -> ~A

F ((~A->B)^(B->C)^C) -> ~A)
T ((~A->B)^(B->C)^C)), F ~A
T (~A->B), T (B->C), T C, T A
F ~A | T B, F B | T C
T A
1. {T A, F B, T C, T A}
2. {T A, T C, T C, T A}
3. {T B, F B, T C, T A}*
4. {T B, T C, T C, T A}

Из 4 таблиц только 1 замкнута, значит, исследуемая формула не является логическим законом и между основанием и выводом не существует отношение логического следствия. Таким образом, данное суждение не является правильным, а, следовательно, является неправельным.

Так что, господа, Раммштайн, все-таки, попса.