MÉTODOS PARA PROBAR LA VALIDEZ DE

ARGUMENTOS

Carlos Uriel Restrepo Saldaña - 213023

Febrero 2021.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INGENIERÍA DE SISTEMAS
CEAD FLORENCIA, FEBRERO 2021

.
 ii
Tabla de Contenidos

CONTENIDO
INTRODUCCIÓN E INFORMACIÓN GENERAL.......................................................................1
OBJETIVO GENERAL...................................................................................................................2
EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD.....................................................3
EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA...........5
EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA...................6
EJERCICIO 4: PROBLEMAS DE APLICACIÓN.........................................................................8
Referencias....................................................................................................................................11
 INTRODUCCIÓN E INFORMACIÓN GENERAL

La lógica es a groso modo una ciencia que estudia todo lo referente a los principios de la
demostración de un determinado argumento con el objeto de determinar la validez o la
comprobación de expresiones que estas pueden ser evaluadas de dos formas verdadero y
falsos de esta forma expresar un lenguaje natural a uno simbólico.
 OBJETIVO GENERAL

Conocer y establecer habilidades básicas para el manejo y desarrollo de las tablas de verdad
con el fin de poner expresar el lenguaje natural a uno simbólico y generar nociones básicas
de lógica orientado a la teoría general de sistemas, de forma que se los estudiantes puedan
establecer y evidenciar en un argumento las premisas y de este modo conocer las reglas de
inferencia que se debe aplicar .
 EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

- Preposiciones Simples:

P: Carlos sale a jugar futbol todos los domingos

Q: Carlos juega de portero los domingos.
R: Carlos siempre sale a jugar con sus amigos.

- Lenguaje Simbólico.

(𝒑 ∧ 𝒒) ∨ (𝒑 ∧ ~𝒓)

- Lenguaje Natural.

Carlos sale a jugar futbol todos los domingos y Carlos juega de portero los domingos o
Carlos sale a jugar futbol todos los domingos y no siempre Carlos sale a jugar con sus
amigos.

- Tabla Manual.

p q r (p^q) (~r) (p^(~r)) (𝒑 ∧ 𝒒) ∨ (𝒑 ∧ ~𝒓)

F F F F V F F

F F V F F F F

F V F F V F F

F V V F F F F

V F F F V V V
 V F V F F F F

V V F V V V V

V V V V F F V

Se clasifica como: CONTINGENCIA.

- Tabla de Verdad Simulador UNAD.