Логика

3.Сформулируйте отрицание данного суждения (противоречащее суждение по логическому квадрату):
Некоторые океаны имеют пресную воду.
Данное суждение относится к типу I (Частноутвердительное) – шаблон „Некоторые S есть P”.
Субъект – океан
Предикат – пресная вода.
В качестве связки выступает глагол „имеют”.

Составим Логический квадрат:
А(общеутвердительное) – Все S есть P
Все океаны имеют пресную воду.
Очевидно, что из того, что некоторые океаны имеют престную воду не обязательно следует то, что все океаны имеют пресную воду. Поэтому, если (I) верно, то (A) – неопределено.

E(общеотрицательное) – Ни одно S не есть P
Ни один океан не имеет пресной воды.
Возьмём океан, который в соответствии с (I) имеет престную воду. Тогда, если (E) верно, то он не должен иметь пресной воды. Противоречие, а значит – (E) ложно. Это суждение неверно тогда, когда верно изначальное, а значит это именно то суждение, которое нужно найти по условию задания
…