де Август (1806—71)— англ. математик, логик, положивший начало разработке логики отношений. В совр. математической логике имя М. носят следующие фундаментальные законы алгебры логики: отрицание конъюнкции равносильно дизъюнкции отрицаний; отрицание дизъюнкции равносильно конъюнкции отрицаний.
|