1. Главная
  2. Библиотека
  3. Логика
  4. Следующее утверждение докажите или опровергните: А ∧ B...
Решение задачи на тему

Следующее утверждение докажите или опровергните: А ∧ B ≤ С и А v B ≤ С → A ∧ С =Ø.

  • Логика
  • #Основы формальной логики
  • #Символическая логика
Следующее утверждение докажите или опровергните:
А ∧ B ≤ С и А v B ≤ С → A ∧ С =Ø.

Условие:

Следующее утверждение докажите или опровергните: А ∧ B ≤ С и А v B ≤ С → A ∧ С =Ø.

Решение:

Рассмотрим утверждение: если A ∩ B ⊆ C и A ∪ B ⊆ C, то A ∩ C = ∅. Необходимо доказать или опровергнуть его.

Шаг 1. Анализ условий. Даны два условия:

  1. A ∩ B ⊆ C – то есть пересечение множеств A и B лежит в множестве C.
  2. A ∪ B ⊆ C – то есть объединение множеств A и B лежит в множестве C.

Шаг 2. Выясне...

Выбери предмет