Используя кванторы всякий и некоторый, постройте базовые высказывания силогистики, являющиеся истинными. Предполагается, что субъект высказывания S объединяет несколько видов животных, а предикат высказывания Р означает исчерпывающее множество видов вьючных животных.

S = {лошадь, вол, верблюд, осёл, собака, лама}

Используя кванторы всякий и некоторый, постройте базовые высказывания силогистики, являющиеся истинными. Предполагается, что субъект высказывания S объединяет несколько видов животных, а предикат высказывания Р означает исчерпывающее множество видов вьючных животных.

S = {лошадь, вол, верблюд, лама}

Используя кванторы всякий и некоторый, постройте базовые высказывания силогистики, являющиеся истинными. Предполагается, что субъект высказывания S объединяет несколько видов животных, а предикат высказывания Р означает исчерпывающее множество видов вьючных животных.

S = {лошадь, верблюд, осёл, человек}

Задайте наглядно смысл базовых высказываний с помощью жергоновых отношений.Всякий S есть Р; вол есть Р; верблюд есть Р; лошадь есть Р; лама есть Р.

Проиллюстрируйте примерами законы силлогистики, используя кванторы:

        А – Всякий _ есть _,        Е – Всякий _ не есть _,        I – Некоторый _ есть _,        О – Некоторый _ не есть _. 

Закон исключённого третьего

Проиллюстрируйте примерами законы силлогистики, используя кванторы:

        А – Всякий _ есть _,        Е – Всякий _ не есть _,        I – Некоторый _ есть _,        О – Некоторый _ не есть _. 

Закон тождества

Проиллюстрируйте примерами законы силлогистики, используя кванторы:

        А – Всякий _ есть _,        Е – Всякий _ не есть _,        I – Некоторый _ есть _,        О – Некоторый _ не есть _. 

Закон противоречия

Задайте наглядно смысл базовых высказываний с помощью жергоновых отношений.Некоторый S есть Р; Некоторый S не есть Р; лошадь есть Р; собака не есть Р.

Задайте наглядно смысл базовых высказываний с помощью жергоновых отношений.Всякий S есть Р; S не есть Р; осёл есть Р; человек есть Р.

Совокупность высказываний x₁, x₂, x₃ отображает исчерпывающее множество событий. Например, это означает, что . Составьте дизъюнктивную нормальную форму по заданным таблично предполагаемым значениям функции f от различных ситуаций.

Совокупность высказываний x₁, x₂, x₃ отображает исчерпывающее множество событий. Например, это означает, что . Составьте дизъюнктивную нормальную форму по заданным таблично предполагаемым значениям функции f от различных ситуаций.