Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Temas - Dorita

Páginas: [1]
1
Lógica / De Lenguaje Natural a Lenguaje Lógico
« en: 25 Octubre, 2020, 08:04 pm »
Hola buenas tardes,

Tengo una tarea, he hecho algunos avances, pero no logro tener la respuesta correcta, quisiera que me ayudaran por favor a ver mi error; les escribo el ejercicio a continuación:


Instrucciones: Traduzca y realice una prueba formal de validez para cada uno de los siguientes argumentos dado en lenguaje natural, y mencione si son válidos o inválidos (por qué son inválidos).

1) Si o Argentina o Brasil se una a la alianza entonces, si o Chile o Ecuador la boicotea entonces no es cierto que ambos Perú y Nicaragua la boicotea. Si o Perú no la boicotea o Nicaragua no la boicotea entonces Uruguay se incorpora a la alianza.
Por tanto, si Argentina se incorpora a la alianza entonces,  si Chile la boicotea entonces Uruguay se incopora a la alianza. (A, B, C, E, P, N, U)
A: Argentina se une a la alianza
B: Brasil se une a la alianza
C: Chile la boicotea
E: Ecuador la boicotea
P: Perú la boicotea
N: Nicaragua la boicotea
U: Uruguay se incorpora a la alianza



Mi respuesta fallida  :-[

\(  { (A \vee B) \supset{ [ (C\vee E) \supset{  \neg (P \cdot N)}]}} \)

\( [(\neg P \vee \neg N)\supset{U}] \)

\( \therefore A \supset{ (C \supset{U})}  \)


Gracias de antemano.
Saludos

Páginas: [1]