Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| Мат логика(горю) |
| Сергей33 |
 
Сообщение
#1
|
|
Гость  |
Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он:
(X -> Y) |- ((!X->Y) -> Y) решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз |
 
|
|
  |
| Altair |
Сообщение
#2
|
 Ищущий истину  Группа: Пользователи Сообщений: 4 825 Пол: Мужской Реальное имя: Олег Репутация:  45  |
А, кстати да, НеКто прав!Теоремы дедукции тоже можно применять!
-------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
   |
|
Сергей33 Мат логика(горю) 31.01.2007 6:10
мисс_граффити Что значит |- ?
И что, собственно, надо сделать? … 31.01.2007 15:19 Altair мисс_граффити,
это "Выводимо" врооде б… 31.01.2007 17:16 НеКто Есть много методов доказательста выводимости...не … 1.02.2007 1:32 НеКто Примем X=0
тогда наше выражение примет вид
0->Y… 1.02.2007 2:01
НеКто Да НеКто вообще всегда прав,он же НеКто!!… 1.02.2007 3:18 |
|
Текстовая версия | 8.05.2024 18:49 |
