Ознакомьтесь с нашей политикой обработки персональных данных
00:36 

Делая домашку по логике.

Taviskaron
Тёмный

Рассмотрим высказывание: «В хоккей играют настоящие мужчины, Трус не играет в хоккей.»


Формализуем его:


X - играет в хоккей


M - настоящий мужчина


 \lnot X - не играет в хоккей


 \lnot M - не настоящий мужчина (трус)


Получаем формулу:

(X \rightarrow M)\rightarrow(\lnot M \rightarrow \lnot X)

которая является логической тавтологией.


З.Ы. Ох и поимеют нас на экзамене, ох и поимеют... Остался месяц до сессии. Пиздец товарищи, пиздец.


З.З.Ы. Если не вникать - то конспект по логике превращается в китайские манускрипты, типа:


Конъюнктивная нормальная форма в булевой логике — нормальная форма, в которой булевая формула имеет вид конъюнкции нескольких дизъюнктов.
Гы-гы.

URL
Комментарии
2010-12-19 в 00:43 

Флудератор
Ответы существуют.
Рассмотрим высказывание: «В хоккей играют настоящие мужчины, Трус не играет в хоккей.»

Формализуем его:

X - играет в хоккей

M - настоящий мужчина

- не играет в хоккей

- не настоящий мужчина (трус)

Получаем формулу:

которая является логической тавтологией.


Кэп, это тебе ещё с психометрии должно быть известно.

2010-12-19 в 01:00 

Taviskaron
Тёмный
Флудератор Да я не про хоккей - это просто прикольный пример использования логического формализма в литературе.
Я про саму логику. Это не курс, а песня. Чем дальше, тем все веселее и веселее...

URL
2010-12-19 в 01:45 

Флудератор
Ответы существуют.
Taviskaron Я про то и говорю. Подобные построения - простейшая логика, известная из курсов психометрии. Вы только сейчас, после всех ваших высокоматематических мазохизмов, её проходите?

2010-12-19 в 12:04 

Слушатель
Don't stop the music.
Флудератор
Подобные построения, которые называются логическими высказываниями это так сказать "строительный материал", "фишки" с которыми оперирует математическая логика. Математической она называется потому что в изучении логических высказываний используется теоретико-множественный подход. Это означает, что некий набор элементарных высказываний можно занести в некое множество, и для него построить множество состоящее из композиций этих высказываний. В композициях могут применяться различные логические связки (например и, или, если - то, не). После этого полученное множество высказываний можно изучать на предмет например истинности, выводимо ли синтаксически (т.е. с помощью формальных операций над символами) из него некое заданное высказывание, а если выводимо то истинно (удовлетворимо) ли оно, и так далее. Такие вопросы решаются при помощи доказательств, и что самое интересное, понятие доказательства тоже исследуется в самой логике. Вот, если вкратце :).

2010-12-19 в 13:57 

Флудератор
Ответы существуют.
Слушатель я обо всем этом имею представление. Только мое представление далеко не столь терминологично :)

2010-12-19 в 15:09 

Слушатель
Don't stop the music.
Флудератор
"Раздался сухой треск произносимых терминов?" это псевдоцитата. :)

Дело вот в чём. Терминология всего-лишь средство, аппарат для того чтобы коротко обозвать некую сущность. Смысл от термина по-моему не должен быть зависим и терминология без смысла - просто набор слов. Крокодил, кушать рыбок не перестанет если его назвать страусом. Впрочем "кушать", "рыбки" и прочие слова в фразе - тоже могут быть расценены каждым по разному и здесь мы приходим к такому субьективизму, в котором я ни уха ни рыла :).

В объяснении я постарался дать общее и в то же время чёткое представление о предмете изучения. Термины которыми я пользовался - базовые и я думаю, что доступны и на интуитивном уровне. Терминология мат. логики выходит далеко за эти пределы и там всё больше и больше умных слов и понятий (вон видишь как Тёмный обзывается :)).

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

Комментирование для вас недоступно.
Для того, чтобы получить возможность комментировать, авторизуйтесь:
 
РегистрацияЗабыли пароль?

Темнота - друг...

главная