Question

Si Margarita es doctora y Edgar no es ingeniero, entonces David es profesor y Edgar es psicólogo.

A partir del argumento deberá dar respuesta a los siguientes ítems:

• Definir las proposiciones simples del argumento.
• Definir la expresión del argumento en lenguaje simbólico o formal.
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción.

Answer 1

Si Margarita es doctora y Edgar no es ingeniero, entonces David es profesor y Edgar es psicólogo. Es una contingencia tiene ambos valores de verdad

Definición de preposiciones simples:

p: Margarita es doctora

¬q: Edgar no es ingeniero

r: David es profesor

o: Edgar es psicólogo.

Lenguaje natural de la exposición formal

p ∧ ¬q→r ∧ o: Si Margarita es doctora y Edgar no es ingeniero, entonces David es profesor y Edgar es psicólogo

Generar Tabla de la Verdad.

 p  ¬q      r   o       p ∧ ¬q     r ∧ o    p ∧ ¬q→r ∧ o

 V    F     V  V         F             V               V

 V    V     V   F         V            F               F

   F    F     F    V        F            F                V

  F    V    F    F         F            F                V

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es contingencia.