Правило замены

Правило замены Основы логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операций  Ассоциативность, коммутативность, распределительная способность, двойное отрицание […]

Правило замены

  • Основы логики

    • Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операций 
    • Ассоциативность, коммутативность, распределительная способность, двойное отрицание и законы Де Моргана 
    • Перестановка и существенное значение 
    • Экспорт и тавтология 
    • Универсальное и экзистенциальное обобщение 
  • Правила замены

    • Правило замены применяется только к определенному сегменту логического выражения 
    • Используется в пропозициональной логике для манипуляций с пропозициями 
    • Включает законы де Моргана, коммутацию, ассоциацию, распределение, двойное отрицание, транспозицию и другие 
  • Обобщение правил замены

    • Правила замены обобщены в таблице с указанием интерпретации обозначений 
  • Дополнительная информация

    • Статья является заглушкой и предлагает помощь в расширении Википедии 

Полный текст статьи:

Правило замены — Википедия

Оставьте комментарий

Прокрутить вверх