1 Utilice la lógica proposicional para demostrar que el argumento es válido [A→(B∨C)]∧C′ →(A→B)

2 Usando lógica de predicados, demuestre que el siguiente argumento es válido: Hay un astrónomo que no es miope. Todo el que lleva gafas es miope. Además, todo el mundo usa gafas o lentillas. Por eso, algunos astrónomos usan lentes de contacto. Usando:
A(x): x es astrónomo
N(x): x es miope
G(x): x usa gafas
C(x): x usa lentes de contacto

Question

1 Utilice la lógica proposicional para demostrar que el argumento es válido [A→(B∨C)]∧C′ →(A→B)

2 Usando lógica de predicados, demuestre que el siguiente argumento es válido: Hay un astrónomo que no es miope. Todo el que lleva gafas es miope. Además, todo el mundo usa gafas o lentillas. Por eso, algunos astrónomos usan lentes de contacto. Usando:
A(x): x es astrónomo
N(x): x es miope
G(x): x usa gafas
C(x): x usa lentes de contacto

Accepted Answer

Using Propositional Logic to Show Validity:   We want to show that the argument [(A → (B ∨ C)) ∧ C'] → (A → B) is valid. To do this,...

¡Tu solución está lista!

Estudia mejor, ¡ahora en español!