Экзамен зачет учебный год 2023 / Рупор_Логика_3

3

СЕМИНАР

Тема4.

Зан1я.тие

N o .1 .

а) ¬(pà¬p)

No

p

¬p

pà¬p ¬(pà¬p)

1

0

1

1

0

2

1

0

0

1

Ответ:Формулаявляетсявыполнимой

,таккаквзависимостиотнабора

переменныхможетприобретакакзначенИСТИНА1 ),(тиакьзначение

0ЛОЖЬ)(.

б) (¬pàq)&(¬q p)

No

p

q

¬p

¬pàq

¬q

¬q p (¬pàq)&(¬q p)

1

1

1

0

1

0

1

1

2

0

1

1

1

0

0

0

3

1

0

0

1

1

1

1

4

0

0

1

0

1

1

0

Ответ: Формулаявляетсявыполнимой

,таккаквзависимостиотнабора

переменныхможетприобретатькакзначение1

(ИСТИНА)

,такизначение

0

(ЛОЖЬ)

.

No

p

q

p q

¬p

¬q

¬p&¬q

(p q) (¬p&¬q)

1

1

1

1

0

0

0

0

2

0

1

1

1

0

0

0

3

1

0

1

0

1

0

0

4

0

0

0

1

1

1

0

а) (ЛибоИванлюбитМарью

– p),ноонаегонелюб,либот

(МарьялюбитИвана

– q),ноне

любитонеё.

(p&¬q) (¬p&q)

(p&¬q) (¬p&q)

No

p

q

¬p

¬q

p&¬q

¬p&q

1

1

1

0

0

0

0

0

2

0

1

1

0

0

1

1

3

1

0

0

1

1

0

1

1

4

0

0

1

1

0

0

0

Ответ:Формулаявляетсявыпо, едовательнонимой,

высказывание

недетерминировано.

б) Число (делитсяна2

– p) илине

(делитсяна3

– q),если

итолькоесли

неверно,что

когдаоноделитсянато3,делится

ина2.

p ¬ q ¬(qàp)

No

p

q

¬q

p ¬q

qàp

¬(qàp)

p ¬ q ¬ (qàp)

1

1

1

0

1

1

0

0

2

0

1

0

0

0

1

0

3

1

0

1

1

1

0

0

4

0

0

1

1

1

0

0

Ответ:Формулаявляетсятожделожной, твенноледовательно,

высказывание

логическиложно

.

в)Еслвысказываниеожноеотноситсяконъюнктивным

– p,никдизъюнктивным

(q),

ник мпликативным

(s),тонельзясказать,чтоононъюнктивноеилиимпликативное.

(p&q&s)à(p q)

*дляцелейзадачипеременобозсразунотаченыыми

рицаниявысказываний

No

p

q

s

p q

(p&q&s)

(p&q&s)à(p q)

1

1

1

1

1

1

1

2

0

1

1

1

0

1

3

1

0

1

1

0

1

4

0

0

1

0

0

1

5

1

1

0

1

0

1

6

0

1

0

1

0

1

7

1

0

0

1

0

1

8

0

0

0

0

0

1

Ответ:Формулаявляетсятождественноистинной,следовательно,

высказывание

логическиистинно

.

а)Еслиидетснег

(p),тохолодно

(q).Нехолоилидсет.ноег

Своднаятаблицаистинности

No

p

q

¬q

pàq

¬q p

1

1

1

0

1

1

2

0

1

0

1

0

3

1

0

1

0

1

4

0

0

1

1

1

Основныетипылогическихотношений

No

Соотношение формул

Д/Н

Пример

1

Обеформулыистинны

ДА

(1) (4)

2

Обеформулыложн

НЕТ

3

Перваяформула

(A) ложная,вторая

(B) – истинная

ДА

(3)

4

Перваяформула

(A) истинная,вторая

(B) – ложная

ДА

(2)

Ответ:

Отношение субконтрарности

(естьодновременнаяистинность,

нетодновременнойложности)

подчинения

(приче м

как

A B,так и

B A).

б)Нев,чтоернослиданныйтреугольникравносторонний

(p),тоонпрямоугольный

(q).

Данныйтреугольникпрямоугольный

инеявляетсяравносторонним.

Своднаятаблицаистинности

No

p

q

¬p

(pàq)

¬(pàq)

q&¬p

1

1

1

0

1

0

0

2

0

1

1

1

0

1

3

1

0

0

0

1

0

4

0

0

1

1

0

0

Основныетипылогическихотношений

No

Соотношениеформул

Д/Н

Пример

1

Обеформулыистинны

НЕТ

2

Обеформулыложн

ДА

(1) (4)

3

Первая формулаложнвторая,

– истинная

ДА

(2)

4

Перваяформулаистинная,вторая

– ложная

ДА

(3)

Ответ:Отношение

контрарности (естьодновременнаяложность,нет

одновременнойист)инности

подчинения (приче м

как

A B,так и

B A).

в)ЕслиПетрдругИвана

(p),то

оннеявляетсянидругомФедора

(q),нидругом

Семена

(s).ЕслиПетр

другФедораилиСемена,тоонявляетсядругом

Ивана.

Своднаятаблицаистинности

No

p

¬p

q

s

(q s)

¬(q s)

pà¬(q s)

(q s)

à¬p

1

1

0

1

1

1

0

0

0

3

2

0

1

1

1

1

0

1

1

3

1

0

0

1

1

0

0

0

4

0

1

0

1

1

0

1

1

5

1

0

1

0

1

0

0

0

6

0

1

1

0

1

0

1

1

7

1

0

0

0

0

1

1

1

8

0

1

0

0

0

1

1

1

Основныетипылогическихотношений

No

Соотношениеформул

Д/Н

Пример

1

Обеформулыистинны

ДА

(2) (4) (6) (7) (8)

2

Обеформулыложн

ДА

(5)

3

Перваяформула

ложная,вторая

– истинная НЕТ

4 Перваяформулаистинная,вторая

– ложная

НЕТ

Ответ:Отношение

эквивалентности (одновременнаяистинность

одновременнаяложность

).

N o .3 .

а)Еслителоявляетсякристаллическим

(p),тооноимеетопределтемпеннуюратуру

плавления(

q). Дантелонявляетсяоекристалл,посколькуниечмескимет

определенной темплавленияературы.

Своднаятаблицаистинности

p

q

¬p

pàq

¬q

¬qà¬p

1

1

0

1

0

0

0

1

1

1

0

1

1

0

0

0

1

1

0

0

1

1

1

1

Ответ:

Умозаключениеправильное

,таккаконо

не можетпринимать

значениеЛОЖЬ0),когдаобе( посылкиистинны.

б)Еслифилосявляетсяпофследоватематериальнымистом

(p),тоонпризнаетпознаваемость

мира (q).Еслифилоспризнаетофзнаваемостьмира

(q),тооннеявляетагносятиком

(s).

Следоват,еслифилософнеявляетсяльнопоследоватематериальнымистом

(p),тоон

агностик (s).

No

p

¬p

q

s

¬s

pàq

qà¬s

¬pàs

1

1

0

1

1

0

1

0

1

2

0

1

1

1

0

1

0

1

3

1

0

0

1

0

0

1

1

4

0

1

0

1

0

1

1

1

5

1

0

1

0

1

1

1

1

6

0

1

1

0

1

1

1

0

4

7

1

0

0

0

1

0

1

1

8

0

1

0

0

1

1

1

0

Ответ:

Умозаключениенеправильное

,таккаконом приниматьжет

значениеЛОЖЬ0),когдаобе( посылкиистинны.

в)Есличелговнеоритправдук

(p),тоонзаблуждается

(q) илисознательновводит

заблуждениедругих

(s).Этот челговнеорит,правдукноявнонезаблуждается.

Следовательно,онсознательновводитзаблуждениедругих.

q s

pà(q s)

No

p

q

¬q

s

p&¬q

(p&¬q)às

1

1

1

0

1

0

0

0

1

2

0

1

0

1

0

1

0

1

3

1

0

1

1

1

1

1

1

4

0

0

1

1

1

1

0

1

5

1

1

0

0

1

1

0

1

6

0

1

0

0

1

1

0

1

7

1

0

1

0

0

0

1

0

8

0

0

1

0

0

1

0

1

Ответ:

Умозаключениеправильное

,таккаконо

не

можетпринимать