Сборник задач и упражнений по логике. Пантыкина М.И. - 22 стр.

UptoLike

ВУЗ: 

ТГУ | Тольятти

Составители: 

Рубрика: 

22
5.7 Если бы Иван IV был зол по природе и не заботился об интересах государства, то
он не отменил бы опричнины.
5.8 Каждый, кому известны картины Рембрандта, восхищается их красотой.
5.9 Нельзя сказать, что чтение этого романа приятно или полезно.
5.10 Этот человек рыцарь, если только он не лжец.
6. При истинности исходного суждения “А знает В, но В не знает А” определите
истинностные значения следующих суждений:
6.1 А и В знают друг друга.
6.2 А и В не знают друг друга.
6.3 В знает А, или А не знает В.
6.4 Либо В не знает А, либо А знает В.
6.5 А не знает В, и В не знает А.
6.6 Неверно, что А и В не знают друг друга.
6.7 Если А не знает В, то В знает А.
6.8 Если В не знает А, то А не знает В.
6.9 А знает В тогда и только тогда, когда В
знает А.
7. Переведите следующие суждения на язык логики суждений и с помощью таблиц
истинности определите логическое значение полученных сложных суждений:
7.1 Неверно, что внеземные цивилизации существуют, и не существуют.
7.2 Речка движется и не движется.
7.3 Если А, то В; и В, следовательно, А.
7.4 Либо А, либо не-А, и А, следовательно, не-А.
7.5 Если он принадлежит нашей компании, то он храбр, и на него можно положиться,
или если он не принадлежит к нашей компании, значит, он не храбр, и на него
нельзя положиться.
7.6 «Вам никогда не удастся создать мудрецов, если будите убивать в детях шалунов».
(Ж.Руссо)
7.7 «Кто утратил стыд, того нужно считать погибши». (Плавт)
7.8 «Верность друга нужна и в счастье, в беде же она совершенно необходима».
(Сенека)
8. Дано, что высказывание р истинно. Можно ли установить логическое значение q, если
известно, что:
8.1 a ∧ b ложно;
8.2 a ∨ b истинно;
8.3 b ≡ a ложно;
8.4 a ⊃ b ложно.
8.5 a v b истинно;
9. Пусть a представляет высказывание: «Теория Дарвина является научной», b – «Теория
Дарвина может быть подтверждена опытными данными» и с – «Теория Дарвина
может быть опровержена научными данными». Сформулируйте высказывания,
получающиеся в результате подстановки вместо а, b, и с указанных конкретных
высказываний.
9.1 а ⊃ (b ∨ c);
9.2 а ⊃ (b ⊃ c);
9.3 (b ∨ c) ⊃ a;

Страницы