Question

2. Formalizar las siguientes proposiciones, describiendo previamente las variables proposicionales.

a. Si la información no es completa para el juez y el abogado, el juicio demorará 5 meses.

b. Si hay democracia, entonces no hay detenciones arbitrarias ni violaciones de derechos civiles.

c. Los planetas reflejan luz si y solo si las estrellas la emiten y los planetas giran alrededor de ellas.

Answer 1

Seguro es lógica matemática
En el primer enunciado:

a) Si la información no es completa para el juez y el abogado,
    el juicio demorará 5 meses.

¬ p ∧ q → r 

b) Si hay democracia, entonces no hay detenciones arbitrarias    ni                     violaciones de derechos civiles.

 p → ( ¬ q ∧ ¬ r ) 

c) Los planetas reflejan luz si y solo si las estrellas la emiten y los planetas        giran alrededor de ellas.

( p ↔ q ) ∧ r