Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| Мат логика(горю) |
| Сергей33 |
 
Сообщение
#1
|
|
Гость  |
Народ, помогите плиз, препод говорит что пример легкий, но я чтот не могу его сосвем решить. Собственно вот он:
(X -> Y) |- ((!X->Y) -> Y) решать надо без таблиц истинности, и написать построение вывода по пунктам, их там по идее штук 5-6 должно быть. Воть. Хелп плиззз |
 
|
|
Сергей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 Altair А, кстати да, НеКто прав!Теоремы дедукции тоже… 1.02.2007 2:42
НеКто Да НеКто вообще всегда прав,он же НеКто!!… 1.02.2007 3:18  |
|
Текстовая версия | 27.04.2024 6:55 |
