Question

C. Si un gato no es un felino, entonces el perro es un animal doméstico; si y solamente si, los perros son mamíferos carnívoros. Por lo tanto, un gato es felino.
tabla de verdad

Answer 1

Tabla de Verdad:

Definición de preposiciones simples:

¬p: un gato es un felino

q: el perro es un animal doméstico

r: los perros son mamíferos carnívoros

Lenguaje natural de la exposición formal

¬p →q : Si un gato no es un felino, entonces el perro es un animal doméstico

(q→p): los perros son mamíferos carnívoros. Por lo tanto, un gato es felino.

Generar Tabla de la Verdad.

¬p →q ↔ (q→p)

 p  q  r   ¬p    ¬p →q     (q→p)     ¬p →q ↔ (q→p)

V  V  V   F       V            V             V

 V  F   V  F        V           V              V

F  V   F  V        F           F               V

F  F   F   V       F            V              F

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

El argumento es contingencia.