ВГУ ФИПСИ 1 курс 2 группа. Наумова Ева. Задание по логике. Задание 1, стр. 88 (1-5). Направо пойдешь – жену найдешь, налево пойдешь – коня потеряешь, прямо пойдешь – сам пропадешь.. Говорят, не повезет, если черный кот дорогу перейдет; а пока наоборот: то

Стр 1 из 3Следующая ⇒

ВГУ ФИПСИ 1 курс 2 группа

Наумова Ева

Задание по логике

Задание 1, стр. 88 (1-5)

1. Направо пойдешь – жену найдешь, налево пойдешь – коня потеряешь, прямо пойдешь – сам пропадешь.

p – пойти направо, q – найти жену, r – пойти налево, s – потерять коня, t – пойти прямо, u – самому пропасть;

(p → q) ^ (r → s) ^ (t → u);

2. «Говорят, не повезет, если черный кот дорогу перейдет; а пока наоборот: только черному коту и не везет» (М. Танич)

p – повезёт, q – черный кот дорогу перейдет, r – черному коту не везет;

q → (~ p) ^ r;

3. «Ежели вы жили возле ежевичника, но ежели Вы не жили возле земляничника, то значит ежевичное варенье Вам привычное и вовсе непривычное варенье земляничное» (М. Яснов)

p – жить возле ежевичника, q – жить возле земляничника, r – ежевичное варенье Вам привычное, s – земляничное варенье Вам привычное;

(p ^ ~ q) → (r ^ ~ s);

4. «Если твои поступки честны, то пусть все о них знают; если они постыдны, то что толку таить их от всех, когда ты сам о них знаешь» (Сенека)

p – твои поступки честны, q – пусть все о них знают, r – твои поступки постыдны, s – что толку таить их от всех, t – ты сам о них знаешь;

(p → q) ^ ((r ^ t) → s);

5. «Если друг оказался вдруг и не друг, и не враг, а – так; если сразу не разберешь, плох он или хорош, парня в горы тяни – рискни, не бросай одного его, пусть он в связке одной с тобой – там поймешь, кто такой» (В. Высоцкий)

p – друг оказался вдруг и не друг, и не враг, а так, q – сразу не разберешь, плох он или хорош, r – парня в горы тяни – рискни, s – не бросай одного его, t – он в связке одной с тобой, u – поймешь кто такой;

((p ^ q) → (r ^ s)) ^ (t → u);

Задание 2, стр.90 (1-3)

1. p→(q˄~(q→p)); формула выполнима;

p	q	(q→p)	~(q→p)	(q˄~(q→p))	p→(q˄~(q→p))
И	И	И	Л	Л	Л
И	Л	Л	И	Л	Л
Л	И	И	Л	Л	И
Л	Л	И	Л	Л	И

2. ((p˅~p)→q)˄~q; логическое противоречие;

p	q	~p	~q	(p˅~p)	((p˅~p)→q)	((p˅~p)→q)˄~q
И	И	Л	Л	И	И	Л
И	Л	Л	И	И	Л	Л
Л	И	И	Л	И	И	Л
Л	Л	И	И	И	Л	Л

12 3 Следующая ⇒