2014 dxdy logo

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

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




На страницу Пред.  1, 2
 
 Re: Задача на тему исчисление высказываний.
Сообщение29.05.2013, 16:26 
$\neg$ чем плох?)

 
 
 
 Re: Задача на тему исчисление высказываний.
Сообщение29.05.2013, 16:47 
arseniiv, тоже подходит, а по второму примеру, есть идея как воспользоваться аксиомой 2 для его решения. Вот в предпоследней аксиоме часть примера есть, но вот как сделать, чтобы там был весь мой пример. И еще не понимаю, почему нельзя выводимое выражение упростить, а потом доказывать его выводимость, так ведь проще.

 
 
 
 Re: Задача на тему исчисление высказываний.
Сообщение29.05.2013, 18:39 
kola1357 в сообщении #730034 писал(а):
И еще не понимаю, почему нельзя выводимое выражение упростить, а потом доказывать его выводимость, так ведь проще.
Нуу… ээ… так определяется исчисление высказываний. Теоремы можно только целиком выводить, а если упростить сначала, то вывод будет уже упрощённой формулы, а не исходной.

Попробуйте вторую аксиому в виде$${\color{blue} ((A\to\neg B)\to X)}\to({\color{red} (X\to(B\to\neg A))}\to((A\to\neg B)\to(B\to\neg A))).$$Подберите $X$, чтобы посылка (синяя) была аксиомой. Тогда надо будет вывести красное. Его можно рассматривать как правый кусок какой-то ещё переформулированной аксиомы 2. И там дальше много чудес (или не так много, если я что-то перепутал).

 
 
 [ Сообщений: 18 ]  На страницу Пред.  1, 2


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