Логика предикатов. Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:

a) Иногда встречаются люди с глазами разного цвета, значит, есть кареглазые люди или все люди голубоглазы или сероглазы.
b) Не все кошки серы, поэтому все кошки не серые.

1) Письменность этих народов относится к буквенно-звуковому типу, так как каждый звук обозначается определенным символом.

2) На первом месте несомненно располагается китайский язык. Второе место принадлежит испанскому языку, который является официальным в 20 странах. Очень интересный иностранный язык расположился на третьем мест — хинди, на нем говорит население Индии.

3) Формальный язык однозначен и не допускает толкований. При выполнении его инструкций результат также однозначен, что имеет огромное значение при производстве вычислений и построении числовых моделей, что позволяет судить о правильности их построения.

1) Письменность этих народов относится к буквенно-звуковому типу, так как каждый звук обозначается определенным символом.

2) На первом месте несомненно располагается китайский язык. Второе место принадлежит испанскому языку, который является официальным в 20 странах. Очень интересный иностранный язык расположился на третьем мест — хинди, на нем говорит население Индии.

3) Формальный язык однозначен и не допускает толкований. При выполнении его инструкций результат также однозначен, что имеет огромное значение при производстве вычислений и построении числовых моделей, что позволяет судить о правильности их построения.