2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Мат логика. Доказать выводимость
Сообщение14.12.2014, 13:12 
Товарищи, будьте добры помочь :)
Необходимо доказать выводимость секвенции, в секвенциальном исчислении высказываний и проверить методом резолюций
Мне бы первый, второй ход, подсказать
А то чего то вообще не могу вспомнить, как это делается :(
секвенция: $\left\langle A \to B\right\rangle \neg B \vdash\neg A $
Вроде помню, что надо использовать аксиомы, вот эти
http://dxdy.ru/topic16290.html
но как то не вижу как начать

 
 
 
 Posted automatically
Сообщение14.12.2014, 13:15 
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам:

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения и/или укажите затруднения.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group