Пользовательское соглашение и РегистрацияFAQВход




Начать новую тему Ответить на тему
ЛОГИКА - НАУКА! остальное лишь- изыски, выводы и производные 
Автор Сообщение
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 07 май 2017 21:11
Цитата:
SYMBOLIC LOGIC
By Lewis Carroll ... 31.
(1) No books sold here have gilt edges, except what are in the front shop;
(2) All the authorised editions have red labels;
(3) All the books with red labels are priced at 5s. and upwards;
(4) None but authorised editions are ever placed in the front shop.

Univ. “books sold here”;
a = authorised editions;
b = gilt-edged;
c = having red labels;
d = in the front shop;
e = priced at 5s. and upwards.


ПЕРЕВОД
Льюис Кэрролл
Цитата:
Формальная логика ... 29
1. Ни у одной продаваемой здесь книги, кроме тех книг,
которые выставлены на витрине, нет золоченого обреза.
2. Все авторские издания снабжены красным ярлычком.
3. Все книги с красными ярлычками продаются по цене
от 5 шиллингов и выше.
4. Лишь авторские издания выставляются на витрине.

Вселенная — «продаваемые здесь книги»,
а = авторские издания,
b = с золоченым обрезом,
с = с красным ярлычком,
d = выставленные на витрине,
е = продаваемые по цене от 5 шиллингов и выше.


1.
31. это не 29. ;

2.
Правильный перевод п.1 (учитывая суть формулировок Л.Кэрролла):
Нет книг проданных здесь с позолотой, кроме книг на витрине.
В смысле:
Не существует в магазине книг,
обладающих одновременно двумя свойствами "позолоченные" и "не на витрине".


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 10 май 2017 20:53
Цитата:
МАЛЫЙ МЕХМАТ МГУ
Руководитель Евгений Александрович Асташов
2016/2017 учебный год
Занятие 12 (17 декабря 2016 года). Логическая карусель ...
14.
Опросили группу человек, среди которых рыцарей и лжецов поровну.
На вопрос: «Сколько среди вас лжецов?» – каждый дал ответ:
«Не менее пяти» или «Не менее восьми».
На вопрос: «Сколько среди вас рыцарей?» – каждый дал ответ: «Не более шести» или «Не более девяти».
Сколько человек в опрашиваемой группе?

Ответ. 16 человек.


На вопрос: «Сколько среди вас рыцарей?» только рыцарь мог ответить «Не более девяти»,
то есть либо 7, либо 8, либо 9.
иначе оба ответа верные, что есть противоречие.

Соответственно - На вопрос: «Сколько среди вас лжецов?» только рыцарь мог ответить «Не менее пяти», иначе оба ответа верных, что есть противоречие.
То есть, если лжецов либо 7, либо 8, либо 9, и неверно, что «Не менее восьми»,
то 7,
а значит и рыцарей 7.
То есть,
Ответ: 14 человек.


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 09 сен 2017 17:16
Изображение
Цитата:
Пример 2
Решить указанную в предыдущем примере задачу для следующего умозаключёния:
Все безупречное вызывает восторг
Все гениальное — безупречно

1.
U = «творения», А = «безупречные», В = «вызывающие восторг», С = «гениальные»:

Все А есть В
Все С есть А


4.
Все С есть В
Только В есть А
Все С есть А


5.
Все гениальное вызывает восторг
Лишь вызывающее восторг безупречно
Все гениальное — безупречно



Задачи на восстановление полного умозаключения из энтимем,
в данном случае необходимо было восстановить одну из посылок,
т.к. одна посылка и заключение есть.
ЛЯП:
"полном" умозаключении исчезла одна из посылок :mrgreen: ,
зато - появилось две других... >:] >:]
или
одну посылку нашли, а данную в условии задачи потеряли... >:]


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 09 сен 2017 17:18
Изображение


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 09 сен 2017 17:19
всё тот же СВЕТЛОВ

Цитата:
Допустим, дано умозаключение «Раб есть человек, а потому не следует держать его в неволе» . Приведем его к нормальной форме:
U= «существа», В = «люди», А = «рабы», С = «которых следует держать в неволе»:
Все рабы есть люди
Ни один раб не есть существо, которое следует держать в неволе
Очевидно, что из указанной посылки «Все А есть В» заключение «Ни одно А не есть С» не может следовать с необходимостью и требуется по крайней мере еще одна посылка для его вывода.


1. ЛЯП:
«Раб есть человек, а потому не следует держать его в неволе»
"Его" относится к "человек", т.к. последний является последним перед запятой... 0119.gif

2. ЛЯП:
Высказывание: "не следует держать его в неволе" равнозначно высказыванию:
"Он есть существо, которое не следует держать в неволе", то есть "все А есть не С",
но не равнозначно высказыванию «Ни одно А не есть С», лишь информирующее, что
"не существует U с признаками А и С".


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 09 сен 2017 18:04
всё тот же СВЕТЛОВ

Цитата:
Все С есть В
Все А есть -В
Только некоторые -А есть С


Тем, кому делают замечания, не делают подарки
Тем, кого любят, делают подарки
Только некоторым из тех, кого не любят, не делают замечания


ЛЯП:
из "С есть В"
и "А есть не В"
следует только, что "А есть не С", а "С есть не А",
и любые уточнения-ограничения из этого не следуют
(ибо, для них не достаточно информации).


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 30 сен 2017 12:22
Мужик читает на столбе объявление:
"Лечу от всех болезней".
Мужик: "От всех не улетишь".

Какой закон Логики нарушен, где и почему?
А, если не нарушен, то где и как? >:] >:] >:]


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 04 фев 2018 17:06
Без коммент... :(
а ведь, это хотя полу-умная, но наша раша

Цитата:
«Как же называется эта книга?»: Мир; Москва; 1981
239. Доказательство того, что Трулюлю существует.
Представьте, что перед нами лист бумаги с двумя утверждениями:
1) Трулюлю существует.
2) Оба утверждения на этом листе ложны.
Рассмотрим сначала утверждение (1). Если бы оно было истинно, то оба утверждения были бы ложны. В частности, было бы ложно утверждение (2), и мы пришли бы к противоречию. Следовательно, утверждение (2) ложно. Значит, не верно, что оба утверждения ложны, поэтому по крайней мере одно из них истинно. Так как утверждение (2) не истинно, то истинно должно быть утверждение (1). Следовательно, Трулюлю существует.


Изображение


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 04 фев 2018 20:51
а надо:
"... к объёму субъекта..."


Цитата:
ФОРМАЛЬНАЯ ЛОГИКА
Допущено Министерством высшего и среднего специального образования РСФСР в качестве учебника для философских факультетов университетов
Издательство Ленинградского университета Ленинград 1977
Печатается по постановлению Редакционно-издательского совета Ленинградского университета


Изображение


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 01 ноя 2018 12:46
Цитата:
ALICE IN
PUZZLE-LAND
A Carrollian Tale for Children Under Eighty
RAYMOND SMULLYAN
...
66.
ROUND THREE In this round, a brother came out and
said, "Either I am Tweedledum, or I am carrying a black card."
Who was he?

66.
ROUND THREE Either-or means at least one (and possibly
both); so if he were carrying a black card, then it would be true that
either he is Tweedledum or he is carrying a black card, which would
mean that a holder of a black card made a true statement. This is
impossible, so his card cannot be black. Since his card is red, his
statement is true, which means that either he is Tweedledum or his
card is black. Since the second alternative doesn't hold, then he
must be Tweedledum. So he is Tweedledum carrying a red card.


КОСЯК задачи с решением
в том, что ответ правильный,
НО
с неправильной добавкой.
ИБО, в задаче спрашивается "Кто он?"...
То, что это часть ответа - Твидлду - правильно.
Но, самое решение задачи логически неверное, так как, и при ложном, и при истинном утверждении
он действительно Твидлду,
но при ложном утверждении - когда истинны обе альтернативы "Твидлду с чёрной картой",
а при истинном "либо Твидлду, либо с чёрной картой", то есть "Твидлду с красной картой".
Пох... с какой картой, но Твидлду...


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 01 ноя 2018 12:49
НОВАЯ КНИГА - НОВЫЕ ЛЯПЫ

САТАНА, КАНТОР И БЕСКОНЕЧНОСТЬ, а также другие головоломки
Рэймонд Смаллиан Переводчик Быстров П. И.
Верстка Середа Т. В. © Издательство "Лори", 2014
...
Однажды, прогуливаясь
по берегу моря, мы увидели шедшего нам на-
встречу местного жителя. «О, я знаю его,—
сказал Астролог. — Я могу сказать, рыцарь он
или плут, но не знаю, болен он сейчас или здоров».
Проходя мимо нас, островитянин сказал:
«Я здоровый рыцарь». «Отлично, — сказал
мне тогда Астролог, — теперь я знаю, болен
ли он».
— Этот островитянин был рыцарем или
лжецом, и был ли он болен?— спросил Волшебник
Аннабел и Александра.
— Минуточку, — вмешалась Аннабел,
— вы уверены, что дали нам достаточно информации
для ответа на вопрос.
— Разумеется, я уверен, — ответил Волшебник.
А вы знаете ответ?

Из высказывания островитянина следует
только то, что он не является больным плутом.
(Из предыдущей загадки нам известно, что
здоровый рыцарь, больной рыцарь и здоровый
плут могли произнести такое высказывание,
а больной плут не мог.) До того, как Астролог
услышал слова островитянина, он знал, рыцарь
островитянин или плут, но мы этого не знали.
Допустим, мы знали, что он рыцарь. Тогда после
слов островитянина Астролог не смог бы
определить, болен этот рыцарь или здоров, то есть
он не узнал бы больше того, что знал прежде.
Однако сказано, что Астролог действительно
узнал, болен ли островитянин.
Значит, остается единственная возможность: Астролог
сначала знал, что островитянин рыцарь,
а после его слов узнал, что он здоров.

ОДНАКО

Цитата:
Satan, Cantor, and infinity, and other mind-boggling puzzles
Copyright © 1992 by Raymond Smullyan
...
“Anyway, during this time, we did a good deal of research
together. On one particular day we were walking on the beach when
we spied a native walking in our direction. ‘Oh, I know him,’ said
the Astrologer. ‘I can tell you whether he is a knight or a knave, but
not whether he is sick.’
“As the native passed us, the native said, ‘I am a healthy knight,’
The Astrologer then said to me, ‘Good. I now know whether he is
sick.’ ”
The Sorcerer asked Annabelle and Alexander, “Was the native a
knight or a knave, and was he sick or healthy?”
“Just a minute,” said Annabelle. “Are you sure you gave us
enough information?”
“I certainly am,” replied the Sorcerer.
What is the solution?

From the fact that the native claimed to be a healthy knight, all that
follows is that he is not a sick knave. (We saw in an earlier problem that
a healthy knight, a sick knight, or a healthy knave could all make that
statement, but that a sick knave could not.) Now, before the Astrologer
heard the native talk, he knew whether the native was a knight or a
knave, but we are not told which. Suppose he previously knew that the
native was a knight. Then after the native made his statement, the
Astrologer would have no way of knowing whether the native was a sick
knight or a healthy knight: he would have known no more than he knew
before. But since we are told that the Astrologer did finally know, then
the only possibility is that he previously knew the native to be a knave
and finally knew him to be a healthy knave.


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 05 ноя 2018 15:28
Цитата:
Logical Labyrinths
Raymond M. Smullyan
...
(дело на острове рыцарей и лжецов, где первые говорят правду, вторые лгут)
Problem 8.2 (A Variant). Suppose that the native had instead said: “Either
I am a knave or there is gold on the island.” Is it now possible to
determine whether there is gold there, or the type of the native?
...
Solutions ...
8.2. This is really the same as the last puzzle, because if he were a knave,
then it would be true that either he is a knave or there is gold,
but knaves don’t make true statements, hence he is a knight.
Hence it is true that either he is a knave or there is gold, but he is not a knave,
so there is gold.


Изображение

Цитата:
EITHER-OR OPERATION
операция исключающее ИЛИ, строгая дизъюнкция


ЛЯП:
Лжец мог утверждать "Либо я лжец, либо на острове золото",
в случае, когда "Он лжец и на острове есть золота",
то есть, говорил: "только одно из двух" НО были "и то, и другое".
Поэтому:
золото есть на острове в любом случае, но
определить - кто был говорящий "рыцарь или лжец невозможно".


Профиль Отправить email WWW
ZAX
Гуру
Аватара пользователя

Зарегистрирован: 21 сен 2006 21:02
Сообщения: 18341
Откуда: Сургут
Сообщение 08 ноя 2018 15:17
Цитата:
Logical Labyrinths
Raymond M. Smullyan
...
Negation
For any proposition p, by ∼p (sometimes written ¬p) is meant the opposite
or contrary of p.
For example,
if p is the proposition that Jack is guilty,
then ∼p is the proposition that Jack is not guilty.


1.
Пример некорректен и/или вводит в заблуждение,
ибо
отрицать необходимо: "Неверно, что Джек виновен",
но не вставлять само отрицание в середину отрицаемого высказывания, ведь неизвестно существует ли Джек.
А в "отрицании" признаётся, что Джек есть, но отрицается его свойство.
2.
К тому же, "Джек виновен" это аналог "Джек брат" - то есть, явно незаконченный предикат,
ибо, виновным можно быть человеку только в чём либо, но никак не абсолютно и только "виновным".

P.S.
Из информации "Джек прочитал вчера газету Таймс"
достоверно можно утверждать лишь то, что у Джека вчера было не менее одного глаза...


Профиль Отправить email WWW
Показать сообщения за:  Поле сортировки  



Начать новую тему Ответить на тему  [ Сообщений: 328 ] 


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Перейти:  
cron
Powered by phpBB © phpBB Group.
Русская поддержка phpBB