ТЕМА 2

ЯЗЫК КЛАССИЧЕСКОЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ.

(Часть 3)

Язык классической логики высказываний (ЯКЛВ). Алфавит, синтаксис. Запись логической формы предложений естественного языка с помощью языка логики высказываний.

Литература:

    Логика для юристов, гл.4 §2.

Дополнительная литература:

    , Основы логики, гл.2 §2; , Логика, гл. 2. Логика, тема 2.

Упражнения:


Даны элементарные высказывания:

p – «Вася бегает регулярно»

q – «Коля бегает регулярно»

r – «Маша бегает регулярно»

s – «Коля ленивый»

p1 – «Маша – марафонский бегун»

q1 – «Вася здоровый»

Запишите на языке логики высказываний:

Если Коля бегает регулярно, он не ленив. Коля не ленив, поскольку бегает регулярно. Если Коля и Маша бегают регулярно, то и Вася тоже. Если либо Маша, либо Коля бегают регулярно, то и Вася тоже. Если Вася здоров, а Коля не ленив, то они оба бегают регулярно. Хотя Вася здоров, он не бегает регулярно, но Маша бегает, если Коля это делает. Маша не марафонский бегун, но бегает регулярно, если и только если Вася и Коля бегают регулярно. Если Вася бегает регулярно, только если или Коля или Маша это делают, то Вася здоров, а Коля не ленив.
Выявите структуру данных предложений с помощью языка логики высказываний: И ты прав, и я, а преподаватель неправ. Или ты неправ, или я, или преподаватель. Ни днём, ни ночью нет мне покоя. Любишь кататься, люби и саночки возить. Некоторые финансисты мошенники, но не все. Я приду вовремя, если не попаду в пробку. Я приду вовремя, только если не попаду в пробку. Я приду вовремя, разве что попаду в пробку. Если я не попаду в пробку, то приду вовремя. Я приду вовремя, если и только если не попаду в пробку. Я займусь изучением логики, если скоро зачет по этому предмету, и преподаватель не ставит автоматы. Если ты знаешь латынь, то сдашь экзамен, если попадётся лёгкий текст, и преподаватель не будет свирепствовать. Я выучу английский или японский, только если найду хорошего преподавателя, беде прилежно заниматься и смогу съездить в страну изучаемого языка. Я приду на занятия, если и только если погода будет хорошей, я не заболею и у меня не будет плохих предчувствий. Если знание логики является необходимым условием для того, чтобы Джульетта полюбила Ромео, то Ромео возьмется за изучение логики, в противном случае – ни за что.
Попробуйте записать на языке логики высказываний следующие пассажи: Если в течение 6 месяцев с момента заявления о задержании безнадзорных домашних животных их собственник не будет обнаружен или сам не заявит о своём праве на них, лицо, у которого животные находились на содержании и в пользовании, приобретает право собственности на них. Если основанием для изменения или расторжения договора послужило существенное нарушение договора одной из сторон, другая сторона вправе требовать возмещения убытков, причиненных изменением или расторжением договора. Обязательство прекращается смертью должника, если исполнение не может быть произведено без личного участия должника, либо обязательство иным образом неразрывно связано с личностью должника. Нашедший потерянную вещь обязан немедленно уведомить об этом лицо, потерявшее её, или собственника вещи, или кого-либо другого из известных ему лиц, имеющих право получить её, и возвратить найденную вещь этому лицу. Информация составляет служебную или коммерческую тайну в случае, когда информация имеет действительную или потенциальную коммерческую ценность в силу неизвестности её третьим лицам, к ней нет свободного доступа на законном основании, и обладатель информации принимает меры к охране её конфиденциальности. Если земельный участок не огорожен, либо его собственник иным способом ясно не обозначил, что вход на участок без его разрешения не допускается, любое лицо может пройти через участок при условии, что это не причиняет ущерба или беспокойства собственнику.