Traduzca al lenguaje formal de la lógica los siguientes
enunciados, dibuje su tabla de verdad e indique si se trata de una
tautología, contradicción o contingencia.
2. Si el primer nativo es un político, niega ser un político; y si niega ser un político,
podemos afirmar que el primer nativo es un político.
Respuestas a la pregunta
Lenguaje natural de la exposición formal: p ∧ q → p es Tautología
Lenguaje natural de la exposición formal
Es aquel que le da un sentido a la combinación de dos o mas preposiciones simples.
Definición de preposiciones simples:
p: el primer nativo es un político
q: niega ser un político
Lenguaje natural de la exposición formal
p ∧ q → p : Si el primer nativo es un político, niega ser un político; y si niega ser un político, podemos afirmar que el primer nativo es un político.
Generar Tabla de la Verdad.
p q (p^q) (p^q)→p
F F F V
F V F V
V F F V
V V V V
Definir si el argumento es: Tautología, Contingencia o contradicción
Tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la última columna de su tabla de verdad estará formada únicamente por verdadero.
Si quiere conocer mas sobre lenguaje natural de la exposición formal vea: https://brainly.lat/tarea/9343217
