Владимир Чернявский!
Владимир! Сколько лет, сколько зим! Полагаю, что условие истинности предпосылок очевидно по умолчанию и поэтому оно мной не было упомянуто. Скажем так, в качестве аксиом необходимо брать факты, которые являются истинными. Что же касается законов вывода, то тут я с Вами не соглашусь, так как законы логики - и есть те самые законы вывода истинных суждений, так что, говоря о законах логики, мы подразумеваем как раз "истинные" правила вывода". | 
Правила форума
Справка
Расширения
Древовидный вид