Изучали такой вид логических операций, как умозаключение и, в частности, исследовали проблему импликации (следования: «если., то»