Problema 10 Capítulo 10 parte 1 de 3
Автор: Leonel Morales
Загружено: 2023-10-17
Просмотров: 67
Описание:
Este problema consiste en demostrar que:
Demostrar que si son ciertas:
((∀x)P(x) ↔ (∀x)Q(x))
(∀x)(∀y)(P(x) & (Q(y) → (R(x) ↔ S(y))))
Entonces se sigue que:
((∀x)(P(x) → R(x)) ↔ (∀x)(Q(x) → S(x)))
En esta tercera parte explico por qué la derivación tiene sentido y representa un argumento válido.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: