задачи по логике (закон исключенного третьего)

[Евгений Машеров]

Если 4-й был прав, то 3-й солгал. Его утверждение "по крайней мере одно из показаний, 1-го или 2-го, является истинным", и если оно ложно - то верно его отрицание. Оно есть "Оба показания, 1-го и 2-го, ложны". Следовательно, виновны и Пётр и Павел.

[VPopov]

kasiy61 в сообщении #559603 писал(а):

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


1.Всякая наука имеет свой предмет исследования. -Ни одна наука своего предмета исследования не имеет.
Ответ: Эти суждения не могут быть одновременно ложными т.к одно из них определенно истинно.

Действительно, к закону tertium non datur этот вопрос отношения не имеет, а, согласно закону непротиворечия, т.е. закону, запрещающему противоречие в формальном рассуждении, если мы присвоили первому (утвердительному) суждение истинностное значение Т, то любая форма его отрицания (частная или общая, неважно) - будет иметь значение F. Ведь как формулирует закон непротиворечия Аристотель: "...невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении... это, конечно, самое достоверное из всех начал.." Met. IV, 3, 1005b 20.
Здесь, правда, возникает философский вопрос: что есть истина? И в особенности, если она касается общих суждений, на которые навешивается квантор всеобщности.