Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



Упражнения. 6. + Тренировочное упражнение

Читайте также:
  1. II. Упражнения и задачи
  2. II. Упражнения и задачи
  3. II. Упражнения и задачи
  4. II. Упражнения.
  5. II. Упражнения.
  6. Б. Порядок выполнения упражнения 2
  7. В 5-ом и 6-ом упражнениях расслабляем и «открываем» таз.
  8. Вводные упражнения
  9. ГЛАВА 4. ОБУЧЕНИЕ ГИМНАСТИЧЕСКИМ УПРАЖНЕНИЯМ
  10. Грамматические упражнения

 

6. + Тренировочное упражнение. Сверьте свои варианты с ответами!

Сопоставьте следующим записям с параметрами формулы ЯКЛВ.

1. р, если q.

2. р, только если q.

3. р, тогда и только тогда когда q.

4. Верно и p1, и р2, и р3, и r, а q неверно.

5. Если p, то r или q.

6. Только если p, то r или q.

7. Если p1, р2, р3 и r, то q.

8. p1, р2, р3 или r , только если q.

9. p верно , если и только если верно r или неверно q.

10. Если верно q, то также верно p1, р2, р3 и r, если кроме того верно и s1, и s2, и s3, а s4 - нет.

11. Если верно q1 или q2 , то также верно p1, р2, р3 и r, разве что верно s1 или s2.

12. s1 или s2 имеет место, если и только если имеет место р, а s - нет.

13. р – необходимое условие для p1 и р2.

14. Ложность р – достаточное условие для истинности p1 и р2.

15. Ложность р – необходимое и достаточное условие для истинности p1 и р2.

16. Если из s следует r, тогда р верно.

 

7. Сопоставьте следующим записям с параметрами формулы ЯКЛВ.

1. Если p , то q.

2. Если p, то r и q.

3. Если p и r, то q.

4. Только если p , (верно) q.

5. s или p, если q и r.

6. s или p, только если q и r.

7. И s, и q.

8. Верно как p, так и s, но неверно r.

9. Или p, или s неверно, а r верно.

10. s, хотя и не q.

11. q, если и только если , r или p.

12. p, разве что q.

13. p, разве что s или q.

14. Если p, то s и q, если (кроме того), r или r1.

15. Если p или p1, тоq, если кроме того r и r1.

16. Если s, то и p, разве что q, а если r1 или r2, тогда p1 или p2, разве что q1 и q2.

17. Если то р1, то если q1 и q2, тогда r1 или r2, разве что q, а если s1 или s2, тогда р.

18. Если из р следует q, тогда верно s или r.

19. p достаточное условие для s.

20. p необходимое условие для s.

21. p необходимое и достаточное условие для s.

22. p и q достаточное условие для s.

23. p необходимое условие для q или s.

24. p и q необходимое, но недостаточное условие для s.

25. p достаточное, но не необходимое условие для s.

 

8. Переведите на язык классической логики высказываний следующие предложения русского языка (с учётом предлагаемой символизации):

 

p – «Ты посещаешь все лекции по логике»

q – «Ты посещаешь все семинары по логике»



r – «Ты туго соображаешь»

s – «Ты сдашь логику с первого раза»

s1 – «Ты никогда не сдашь логику»

р1 – «Ты считаешь астрологию почтенной дисциплиной»

r1 – «Ты считаешь логику захватывающей дисциплиной»

 

а) Ты туго соображаешь и считаешь астрологию почтенной дисциплиной.

б) Или ты считаешь логику захватывающей дисциплиной, или ты туго соображаешь.

в) Ты посещаешь все лекции по логике в том и только в том случае если считаешь эту дисциплину захватывающей.

г) Если ты туго соображаешь, логика тебе не понравиться.

д) Ты считаешь астрологию почтенной дисциплиной, только в том случае если туго соображаешь.

е) Ты считаешь астрологию почтенной дисциплиной, в том случае если туго соображаешь.

ж) Ты не считаешь логику захватывающей дисциплиной, только если туго соображаешь.

з) Если ты не посещаешь ни семинары по логике, ни лекции, и соображаешь туго, ты никогда не сдашь этот предмет.

и) Ты сдашь логику с первого раза в том и только в том случае, если ты посетил все лекции и семинары, нормально соображаешь и считаешь этот предмет захватывающим.

к) Ты сдашь логику с первого раза, разве что туго соображаешь или считаешь астрологию почтенной дисциплиной.



л) Если ты считаешь логику захватывающей дисциплиной, то ты когда-нибудь ее сдашь, если посещаешь все семинары и лекции.

9. + Упражнение зачетного типа: тренировочное упражнение, сверьте свои варианты с ответами!

a. И ты прав, и я, а преподаватель не прав.

b. Я пью крепкий кофе, если и только если хочу спать или у меня много работы.

c. Я займусь изучением логики, если скоро зачет по этому предмету и преподаватель не ставит "автоматы".

d. Я займусь изучением логики, только если скоро зачет по этому предмету и преподаватель не ставит "автоматы".

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

f. Если ты знаешь английский, французский, испанский и немецкий, в Европе ты не пропадешь, если имеешь пару тысяч долларов, евро или фунтов стерлингов.

g. Если ты работаешь пять дней в неделю, то я всего лишь два.

h. Я выучу английский, китайский или японский, только если найду хорошего преподавателя, буду усердно заниматься, у меня будет достаточно свободного времени и, кроме того, смогу съездить в страну изучаемого языка.

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

10. Упражнение зачетного типа! Найдите структуру данных предложений (символизацию вводите сами).

a. Или ты не прав, или я, или преподаватель.

b. Или ты не прав, или я, или преподаватель, но если ты прав, то и я тоже.

c. Если вчера я не знал, что говорю прозой, то сегодня я это знаю.

d. Еще один вопрос, и я за себя не отвечаю.

e. Умру, но докажу, что я не идиот.

f. Можно рехнуться, поумнеть или войти в нирвану, если долго заниматься математикой, но поглупеть нельзя.

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

h. Я сдам логику с первого раза, только если мне попадется легкое задание и преподаватель поддается гипнозу, либо помогут верные друзья.

i. Скажешь правду – побьют, обманешь – будет стыдно.

j. Я сдам логику с первого раза, разве что попадется трудное задание и преподаватель не поддается гипнозу.

k. Он пьет, если угощают и то только по праздникам.

l. Если мне сниться Аристотель или Спиноза, это к дождю, если Дэвид Коперфильд – к неожиданностям, а преподаватель по логике – к пересдаче или обострению ревматизма.

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

n. Если сегодня выходной, то если погода плохая, я остаюсь дома, разве что пригласят в гости, театр или кино, а если хорошая – пойду за грибами, разве что заболею.

o. Если завтра экзамен, тогда я высплюсь, если и только если занимался в течение семестра (по этому предмету).

p. Если ты знаешь латынь, то сдашь экзамен, если попадется легкий текст и преподаватель не будет свирепствовать.

q. Если ты не любишь А.С.Пушкина, ты мне не друг, если не уважаешь Ж.Дантеса – не враг, а Карфаген должен быть разрушен.

r. Если ты знаешь китайский, корейский и японский языки, то я-то и по-русски не всегда могу грамотно сформулировать свои мысли.

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

t. Обеспеченная жизнь являлась необходимым условия счастья турецкого поданного господина О.Бендера.

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

v. Наличие крупной суммы в портфеле или сигарет в кармане является достаточным, хотя и не необходимым условием счастья господина N.N.

w. Если знание логики является необходимым условием для того, чтобы Джульетта полюбила Ромео, то Ромео возьмется за изучение логики, в противном случае – ни за что.

Тема 3: Семантика ЯКЛВ. Логический статус формул. (Логика как система связок)

 

Основные понятия, которые необходимо усвоить: · синтаксис, семантика (синтаксический и семантический аспекты изучения языка) · объектный язык и метаязык · положения, принимаемые при построении семантики КЛВ: непротиворечивость, полнота, функциональность · оценка переменной · оценка последовательности переменных · табличные определения логических связок · логический статус формул

 

В классической логике при интерпретации формул введенного выше языка принимаются следующие положения.

 

Принцип функциональностиЗначение высказывания целиком определяется значениями высказываний, входящих в его состав. Принцип непротиворечияОдно высказывание не может быть оценено одновременно как истинное и как ложное.

Принцип полноты Всякое высказывание в обязательном порядке оценивается как истинное или как ложное (не может быть высказывания, которое не получило бы одну из этих оценок).


Дата добавления: 2014-11-13; просмотров: 15; Нарушение авторских прав


<== предыдущая лекция | следующая лекция ==>
Упражнения. 1. Являются ли данные последовательности символов формулами языка КЛВ? | Упражнения. 11. Найти истинностное значение следующих высказываний
lektsii.com - Лекции.Ком - 2014-2019 год. (0.016 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты