От VladT Ответить на сообщение
К Игорь
Дата 16.03.2007 09:52:21 Найти в дереве
Рубрики Семинар; Версия для печати

По закону матлогики.

Если тезис состоит из конъюнкции утверждений

A1 & A2 & A3 & A4 & ...

то антитезисом будет не отрицание всех утверждений, как у Вас,

не A1 & не A2 & не A3 & не A4 & ...

а отрицание хотя бы одного утверждения

не A1 или не A2 или не A3 или не A4 или ...