2014 dxdy logo

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

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




 
 Построение исчисления высказываний
Сообщение12.06.2011, 11:49 
Такой вопрос:
Пусть дано утверждение
$\vdash(A \to B) \to (\neg B \to \neg A)$
могу ли я, например для записи аксиомы 2 взять за А $(A \to B) $ и за B $ (A \to B)$, или нельзя брать одно и то же выражение за разные буквы?

 
 
 
 Re: Построение исчисления высказываний
Сообщение12.06.2011, 12:19 
Аватара пользователя
Можно.

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


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