В простом категорическом силлогизме: Многие млекопитающие - убиквисты. Ни один убиквист не слон. Следовательно, некоторые слоны не млекопитающие. Определите: меньший термин (S) больший термин (P) средний термин (M)

Составить таблицы истинности для следующих формул и указать, какие из формул являются выполнимыми, какие опровержимыми, какие тождественно истинными (тавтологиями), а какие тождественно ложными (противоречиями):

Постройте таблицы истинности для следующих выражений: 1) (-x -> (у -> Z)) -> 2) (-x -> Z) -> (y -> Z) Оцените, для какого из двух выражений истинных наборов больше. Истинным набором считается тот набор значений переменных, при котором выражение истинно.

Пусть A= 1,2,3 и заданы три отношения на A. Какие из этих отношений являются транзитивными? ⟨1,1⟩,⟨1,2⟩,⟨2,3⟩,⟨3,3⟩ ⟨1,1⟩,⟨2,2⟩,⟨1,3⟩,⟨3,1⟩,⟨3,3⟩ ⟨1,1⟩,⟨1,2⟩,⟨1,3⟩,⟨3,2⟩