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. Выясне...

Не нашел нужную задачу?

Воспользуйся поиском

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