Экспорт (логика)

• Введение/устранение двойного условия

  • Введение/устранение двойного условия позволяет заменить условные утверждения с конъюнктивными предпосылками на утверждения с условными следствиями и наоборот. 

• Введение/устранение конъюнкции

  • Введение/устранение конъюнкции позволяет заменить конъюнктивные утверждения на дизъюнктивные и наоборот. 

• Дизъюнктивный/гипотетический силлогизм

  • Дизъюнктивный/гипотетический силлогизм позволяет заменить дизъюнктивные утверждения на условные и наоборот. 

• Конструктивная/деструктивная дилемма

  • Конструктивная/деструктивная дилемма позволяет заменить конструктивные утверждения на деструктивные и наоборот. 

• Поглощение/способ воздействия/способ понендо воздействия

  • Поглощение/способ воздействия/способ понендо воздействия позволяет заменить утверждения с поглощением на утверждения с воздействием и наоборот. 

• Введение отрицания

  • Введение отрицания позволяет заменить утверждения с отрицанием на утверждения без отрицания и наоборот. 

• Ассоциативность

  • Ассоциативность позволяет заменить утверждения с ассоциативными свойствами на утверждения без ассоциативных свойств и наоборот. 

• Коммутативность

  • Коммутативность позволяет заменить утверждения с коммутативными свойствами на утверждения без коммутативных свойств и наоборот. 

• Распределительная способность

  • Распределительная способность позволяет заменить утверждения с распределительными свойствами на утверждения без распределительных свойств и наоборот. 

• Двойное отрицание

  • Двойное отрицание позволяет заменить утверждения с двойным отрицанием на утверждения без двойного отрицания и наоборот. 

• Законы Де Моргана

  • Законы Де Моргана позволяют заменить утверждения с законами Де Моргана на утверждения без законов Де Моргана и наоборот. 

• Перестановка

  • Перестановка позволяет заменить утверждения с перестановкой на утверждения без перестановки и наоборот. 

• Существенное значение

  • Существенное значение позволяет заменить утверждения с существенным значением на утверждения без существенного значения и наоборот. 

• Экспорт

  • Экспорт позволяет заменить условные утверждения на утверждения с условными следствиями и наоборот. 

• Тавтология

  • Тавтология позволяет заменить утверждения с тавтологией на утверждения без тавтологии и наоборот. 

• Универсальное обобщение/создание экземпляров

  • Универсальное обобщение/создание экземпляров позволяет заменить универсальные утверждения на экзистенциальные и наоборот. 

• Экзистенциальное обобщение/создание экземпляров

  • Экзистенциальное обобщение/создание экземпляров позволяет заменить экзистенциальные утверждения на универсальные и наоборот. 

• Вывоз

  • Вывоз позволяет заменить условные утверждения на утверждения с условными следствиями и наоборот.