1. Если одни студенты стремятся выполнить контрольную работу самостоятельно, то другие ищут более легкие пути.

2. Конфискация жилища возможна только по решению суда.

3. Если обвиняемых несколько, то следователь указывает первым того из них, кого он считает целесообразным допросить первым.

4. Все сомнения в отношении доказанности обвинения, если их не удалось устранить, толкуются в пользу обвиняемого.

Первое сложное суждение выражает перечисление двух простых, которое предполагает одновременную истинность обоих суждений, но не выражает их взаимную обусловленность. По сути логической связи такое суждение представляет собой конъюнкцию и может быть выражено так: (pÙq)

Если одни студенты стремятся выполнить контрольную работу самостоятельно (p), то другие ищут более легкие пути(q).

Второе сложное суждение выражает условную зависимость двух простых суждений, в котором одно из них – основание необходимо, но недостаточно для следствия. По сути логической связи такое суждение представляет собой обратную импликацию и выражается так: (p ← q)

Конфискация жилища возможна (q) только по решению суда (p).

Третье сложное суждение также выражает условную зависимость двух простых суждений, в которой одно из них (первое) – основание необходимо и достаточно для (второго) – следствия. По сути логической связи такое суждение представляет собой двойную импликацию и выражается так: (p ↔ q)

Если обвиняемых несколько (p), то следователь указывает первым того из них, кого он считает целесообразным допросить первым (q).

И четвертое сложное суждение выражает условную зависимость двух простых суждений, в котором одно из них – основание достаточно для следствия. По сути логической связи такое суждение представляет собой прямую импликацию и выражается так: (p ® q)

Все сомнения в отношении доказанности обвинения, если их не удалось устранить(p), толкуются в пользу обвиняемого(q).

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

«Не все йогурты полезны»

Так как данное суждение выражено не в явной форме, прежде чем производить с ним предложенные операции, необходимо привести его к явной (или стандартной) логической форме. В явной форме это суждение выглядит так: «Некоторые йогурты не являются полезными». В такой форме нам легче определить, что суждение является частным по количеству и отрицательным по качеству.

Схема превращения частноотрицательного суждения:

Некоторые S не есть P → Некоторые S есть не-P

Тогда мы получим суждение – «Некоторые йогурты являются неполезными»

Помня правило, что частноотрицательные суждения не обращаются переходим к операции противопоставления предикату

Схема противопоставления предикату частноотрицательного суждения:

Некоторые S не есть P → Некоторые не-P есть S

«Некоторое из того, что неполезно является йогуртом»