Шаблон:Правила трансформације

Правила трансформације
Исказни рачун
Правила закључивања Модус поненс Модус толенс Контрапозиција Двоусловни увод Двоусловна елиминација Конјункциони увод Поједностављење Дисјункциони увод Дисјункциона елиминација Дисјункциони силогизам Хипотетични силогизам Конструктивна дилема Деструктивна дилема Апсорпција Правила замене Асоцијативност Комутативност Дистрибутивност Двострука негација Де Морганови закони Транспозиција Материјална импликација Материјална еквиваленција Експортација Таутологија
Предикатна логика
Универзална генерализација Универзална инстанцијација Егзистенциона генерализација Егзистенциона инстанцијација
п р у

Документација шаблона

Уредници могу да експериментишу на подстраницама песак и тест овог шаблона.
Подстранице овог шаблона.