 Мат логика(горю) |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| Сергей33 |
  31.01.2007 2:10
Сообщение
#1
|
|
Гость  |
Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он:
(X -> Y) |- ((!X->Y) -> Y) решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз |
 
|
|
Сообщений в этой теме
Сергей33 Мат логика(горю) 31.01.2007 2:10
мисс_граффити Что значит |- ?
И что, собственно, надо сделать? ... 31.01.2007 11:19 Altair мисс_граффити,
это "Выводимо" врооде б... 31.01.2007 13:16 НеКто Есть много методов доказательста выводимости...не ... 31.01.2007 21:32 НеКто Примем X=0
тогда наше выражение примет вид
0->Y... 31.01.2007 22:01 Altair А, кстати да, НеКто прав!Теоремы дедукции тоже... 31.01.2007 22:42
НеКто Да НеКто вообще всегда прав,он же НеКто!!... 31.01.2007 23:18  |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 25.07.2025 16:49 |