Question

Simboliza las siguientes proposiciones compuestas mediante los símbolos asignados en los recuadros,

utilizando los conectores lógicos indicados y aplicando pertinentemente los signos de agrupación.​

Answer 1

Explicación paso a paso:

recuerda que:

negación de una negación es una afirmación:

ejemplo:

t : El número x no es divisible por la unidad

∼t: no es verdad que el número x no es divisible por la unidad.

significa que ∼t propone que el número x es divisible por la unidad.

Sería lo siguiente:

(p ∧∼q) ⟹ [∼r ⟺ (∼t ∧ s)]