Проект "логика для чайников". Параграф 37

Свойства условных высказываний

Помимо двух modus-ов, есть еще ряд полезных свойств условных высказываний.

( Read more... )