Определите, к какому виду относятся следующие сложные суждения. Составьте их логические формулы.

Например: « Идет дождь, и идет снег». Конъюнкция, «а и b», «а Ù b».

1. Я могу познакомиться с человеком пошутив, улыбнувшись, поговорив.
2. Окружающий нас мир либо познаваем, либо нет.
3. Или же он совершенно бездарен, или же он полный лентяй.
4. Живое существо является человеком только тогда, когда оно обладает мышлением.
5. Английский язык можно изучать либо в школе, либо на курсах, либо с репетитором, либо самостоятельно.
6. Если вещество является металлом, то оно электропроводно.
7. Если ты не упрям, то ты можешь изменить свое мнение.
8. Если человек дышит, значит, он жив.
9. Дорогой, выбирай: или я, или футбол!
10. Д. совершил преступление или один, или с соучастником.
11. Деревья качаются, потому что дует ветер.
12. Птицы появились над морем – близко земля.
13. Вчера он прогулял не только теорию государства и права, но и логику.
14. Если с утра шел дождь, то к полудню прояснилось.
15. Хотя на море разыгрался шторм, корабль неуклонно двигался своим курсом.
16. Этот приезд не является ни необходимым, ни желательным.
17. Поверь ему, окажешься обманутым.
18. Шторма бояться – в море не ходить.
19. Истец вправе увеличить или уменьшить размер исковых требований.
20. В судебном заседании прокурор либо поддерживает обвинение, либо отказывается от него.
21. «Гражданские и юридические лица по своему усмотрению осуществляют принадлежащие им гражданские права». (ГК РФ, ст.9, ч.I)
22. «Преступность деяния, а также его наказуемость и иные уголовно-правовые последствия определяются только настоящим Кодексом». (УК РФ, ст.3, раздел I)
23. «Если осужденный после отбытия наказания вел себя безупречно, то по его ходатайству суд может снять с него судимость до истечения срока погашения судимости». (УК РФ, ст.86, раздел IV)
24. Ответственность за правонарушение может быть дисциплинарной, административной или уголовной.
25. Подстрекателем признается лицо, склонившее другое лицо к совершению преступления путем уговора, подкупа, угрозы или другим способом.
26. Уголовное дело может быть возбуждено только в тех случаях, когда имеется достаточные данные, указывающие на признаки преступления.
27. «Договор считается заключенным, если между сторонами в требуемой в надлежащих случаях форме достигнуто соглашение по всем известным пунктам». (ГК РФ, ст. 432)

14) Выявите логическую формулу следующих сложных суждений:

1. «В случае явки или обнаружения места пребывания гражданина, объявленного умершим, суд отменяет решение об объявлении его умершим». (ГК РФ, ст.46, Ч. I)
2. Хочешь быть умным, научись разумно спрашивать, внимательно слушать, спокойно отвечать и переставать говорить, когда нечего больше сказать (Иоганн Лафатер).
3. Каждый имеет право на неприкосновенность частной жизни, личную и семейную тайну, защиту своей чести и доброго имени.
4. Юридическая обязанность – это мера должного, установленного законом поведения, т.е. обязанность лица совершать определенные действия или воздерживаться от их совершения.
5. Если ты что-то сделал быстро, но плохо, все скоро забудут, что ты сделал быстро, но зато будут помнить, что ты сделал плохо. Если же ты что-то сделал медленно, но хорошо, то все скоро забудут, что ты работал медленно, но будут долго помнить, что ты сделал хорошо (Сергей Королев).

Подберите по 2-3 примера из экономической (юридической) литературы (можно из учебника) на каждый вид сложного суждения. (Необходимо выписать цитату, указать, откуда она взята, и указать, какой вид сложного суждения она иллюстрирует).

16) * Придумайте предложения, соответствующее следующим логическим формулам (две на выбор):

· ;

· ;

· ;

· .

ЛОГИЧЕСКИЕ СИМВОЛЫ

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

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

— знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;

— знаки для обозначения логической связки, называемой конъюнкцией; читаются: «и»;

— знак для обозначения логической связки, называемой неисключающей дизъюнкцией; читается: «или»;

— знак для обозначения строгой, или исключающей, дизъюнкции; читается: «либо, либо»;

— знаки для обозначения импликации; читаются: «если, то»;

— знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;

— квантор общности; читается: «для всякого», «всем»;

— квантор существования; читается «существует», «имеется по крайней мере один»;

L, N, — знаки для обозначения модального оператора необходимости; читаются: «необходимо, что»;

М — знак для обозначения модального оператора возможности; читается: «возможно, что».

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

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

Примеры:

А) «Тот, кто ясно мыслит, ясно говорит» — ; буква А обозначает высказывание «Человек ясно мыслит», В — высказывание «Человек ясно говорит», — связка «если, то»;

Б) «Он — образованный человек и неправда, что он не знаком с сонетами Шекспира» — ; А — высказывание «Он образованный человек», В — «Он не знаком с сонетами Шекспира», — связка «и»,

— «не»;

В) «Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» — ; А — «Свет имеет волновую природу», В — «Свет представляется в виде потока частиц», С — «Допускается ошибка»;

Г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» — — «Вы были в Париже», В — «Вы видели Лувр», С — «Вы видели Эйфелеву башню».

Не нашли, что искали? Воспользуйтесь поиском: