Версия для печати темы

Автор: Rocket 30.10.2008 1:34

Нужно доказать выводимость формулы, используя классический метод, то есть используя систему аксиом исчисления высказывания. Что-то ну никак у меня не получается...


Прикрепленные файлы
 ex.bmp ( 32.65 килобайт ) Кол-во скачиваний: 451

Автор: Rocket 31.10.2008 2:59

?
походу все давно эту тему проходили..

Автор: Lapp 31.10.2008 5:09

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