Как используется самодистрибутивность в логическом анализе?

Закон самодистрибутивности импликации (->, «если, то») позволяет распределять импликацию по импликации. azbyka.ru terme.ru

Формула закона: (p->(q->r))->((p->q)->(p->r)). azbyka.ru terme.ru Она означает: «если (если первое, то (если второе, то третье)), то (если (если первое, то второе), то (если первое, то третье))». azbyka.ru terme.ru

Этот закон верен для материальной импликации, но не имеет места для ряда иных импликаций, которые вводятся в современной логике. azbyka.ru