Мат логика(горю) - Форум «Всё о Паскале»

Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++

Сайт «Всё о Паскале» > Форум > Образование и наука > Математика

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

Мат логика(горю)

Опции

Сергей33	31.01.2007 6:10 Сообщение #1
Гость	Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он: (X -> Y) \|- ((!X->Y) -> Y) решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз

Ответов(1 - 6)

мисс_граффити	31.01.2007 15:19 Сообщение #2
просто человек Группа: Пользователи Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55	Что значит \|- ? И что, собственно, надо сделать? Привести к СДНФ/СКНФ? -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует. На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения!

Altair	31.01.2007 17:16 Сообщение #3
Ищущий истину Группа: Пользователи Сообщений: 4 825 Пол: Мужской Реальное имя: Олег Репутация: 45	мисс_граффити, Цитата \|- это "Выводимо" врооде бы... я тоже помню у нас такой символ был, и кажется он значит именно "выводимо" А решение примера идет с помощью применения аксиом и правил логики, если не ошибаюсь их всего там около десятка... Последовательно применяя их, можно действительно доказать, что из 1 формулы выводима вторая. И там действительно обычно получается 5-10 пунктов... -------------------- Помогая друг другу, мы справимся с любыми трудностями! "Не опускать крылья!" (С)

НеКто	1.02.2007 1:32 Сообщение #4
Гость	Есть много методов доказательста выводимости...не только с помощью набора аксиом, а гораздо быстрее, метою дедукции,редукции и т.д

НеКто	1.02.2007 2:01 Сообщение #5
Гость	Примем X=0 тогда наше выражение примет вид 0->Y \|- ((1->Y)->Y) при таком условии левая часть будет равна единице только тогда,когда Y=0 подставляем Y=0 в правую часть,получаем что она тоже равна единице => левая часть логически имплицирует(или выводима,хрен знает) правой Мне кажется что аксиоматический метод сдесь не подойдет,так как выражение слишком короткое,скорее всего это и есть одна из аксиом.

Altair	1.02.2007 2:42 Сообщение #6
Ищущий истину Группа: Пользователи Сообщений: 4 825 Пол: Мужской Реальное имя: Олег Репутация: 45	А, кстати да, НеКто прав!Теоремы дедукции тоже можно применять! -------------------- Помогая друг другу, мы справимся с любыми трудностями! "Не опускать крылья!" (С)