PASO 2 - PROPOSICIONES Y TABLAS DE VERDAD

USAR LAS TABLAS DE VERDAD PARA DETERMINAR LA VERACIDAD DE UNA EXPRESIÓN

PROPOSICIONAL

PENSAMIENTO LOGICO Y MATEMATICO

DIANA DEL ROSARIO NARVÁEZ ARGOTTE

PRESENTADO A TUTOR
MANZUR RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CEAD PASTO
2018-03-12
Introducción

La lógica se considera una ciencia formal cuyo objeto de estudio son los distintos principios de
demostración que permitan comprobar que una afirmación pueda ser considerada como válida. La
metodología de trabajo de la lógica consiste en examinar la validez o la invalidez de una afirmación
mediante la aplicación de una sistematización en los argumentos y, por ende, de un análisis de su
estructura lógica, sin tener en cuenta el contenido de lo que se ha argumentado ni considerar siquiera
el lenguaje utilizado, y sin contemplar el estado de realidad del contenido. La lógica se aplica en muy
diversas áreas. En ingeniería es de gran utilidad en la electrónica, para el diseño de circuitos mediante
compuertas lógicas, y en programación, para el diseño de programas que requieren la unión de
operadores lógicos. En administración, porque esta hace uso de los conocimientos organizados para
dar solución a problemas reales. En derecho, su aplicación se conoce como “lógica jurídica”,
considerada un método de investigación para entender a la ciencia del derecho, que obtiene su
principal fuente del conocimiento en la razón y no de la experiencia.
Objetivos

 Identificar las clases de proposiciones que se pueden encontrar en un enunciado.

 Analizar los enunciados para la elaboración de las tablas de verdad.

 Traducir proposiciones del lenguaje verbal a variables lógicas y viceversa.

Tarea 1 proposiciones

Punto D.

p: El año 2020 será un año bisiesto

q: En un año bisiesto febrero tiene 29 días r: Los
años bisiestos se dan cada dos años

[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)

Proposición compuesta en lenguaje natural.

El año 2020 será un año bisiesto entonces febrero tendrá 29 días en consecuencia que los años
bisiestos se dan cada dos años si y solo si en una año no bisiesto febrero tiene 29 días o en
todo caso los años bisiestos de dan cada dos años.

P:F Q:F R:F

[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)
[(f→f)→f]↔(v∨f)
[v→f]↔v
f↔v
f
Tarea 2 tablas de verdad

Punto D. Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana
no es jueves.
Expresión del lenguaje simbólico o formal.

p: hoy es lunes
q: pasado mañana es miércoles r:
mañana es martes
s: mañana es jueves

Expresión lenguaje formal.

(𝒑⋀𝒒) → (r⋀¬s)
Generar la tabla de verdad manualmente y a través del simulador Truth Table.

p q r s (𝒑⋀𝒒) (r⋀¬s) (𝒑⋀𝒒) → (r⋀¬s)

v v v v v f f

v v v f v v v

v v f v v f f
v v f f v f f

v f v v f f v

v f v f f v v

v f f v f f v
v f f f f f v

f v v v f f v

f v v f f v v

f v f v f f v
f v f f f f v

f f v v f f v

f f v f f v v
f f f v f f v

f f f f f f v

Tabla generada desde el simulador Truth Table.

Respuesta, se puede observar mediante las dos tablas que los resultados no poseen diferencias,
por lo cual los resultados son iguales.
 Tarea 3 problemas de aplicación

Punto D. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

Preposiciones simples: p,q,r,s,t

Si p entonces q y r tambien s entonces no q a la vez t entonces no r

aunque p y t entonces q.

La expresión anterior es de tautología y lo demostraremos en la siguiente tabla.

p Q r s t (𝑞∨𝑟) (𝑠→ (𝑡→∼𝑟 (𝑝∧𝑡) (𝑝∧𝑡) 𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞 (𝑡→∼𝑟)∧(𝑝∧𝑡) {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)

∼𝑞) ) 𝑝→(𝑞∨ 𝑝→(𝑞∨𝑟) )
𝑟) ∧
(𝑡→∼𝑟)∧(𝑝∧𝑡)}→q
V V V V V V F F V V F F V
V V V V F V F V F V F F V
V V V F V V V F V V V F V
V V V F F V V V F V V V V
V V F V V V F F V V F F V
V V F V F V F V F V F F V
V V F F V V v F V V V F V
V V F F F V V V F V V V V
V F V V V V F F V V F F V
V F V V F V F V F V F F V
V F V F V V V F V V V F V
V F V F F V V V F V V V V
V F F V V F F F V F V F V
V F F V F F F v F F V F V
V F F F V F V F V F V F V
v F F F F F V V F F V V V
F V V V V V F F F V F F V
F V V V F V F V F V F F V
F V V F V V V F F V V F V
F V V F F V V V F V V F V
F V F V V V F F F V F F V
F V F V F V F V F V F F V
F V F F V V V F F V V F V
F V F F F V V V F V V F V
F F V V V V F F F V F F V
F F V V F V F V F V F F V
F F V F V V V F F V V F V
F F V F F V V V F V V F V
F F F V V F F F F V F F V
F F F V F F f V F V F F V
F F F F V F V F F V V F V
F f F F F F v v f V V F V
El resultado de esta operación es una tautología ya que los valores de respuesta son todos verdaderos.
Conclusiones

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la resolución
de problemas o la representación de la realidad a nivel de proposiciones, la lógica proposicional es
una de las piezas fundamentales de la inteligencia artificial, ya que para realizar los cambios
necesarios para la evolución de esta ciencia, se precisa de un lenguaje formal para representar los
hechos que se reciben del mundo real y el uso de las proposiciones, el utilizar proposiciones es una
señal que encaja en forma perfecta en este ámbito, es un modo sencillo y práctico de resolver un
problema, considerando que se puede resolver disgregando el problema en proposiciones u
oraciones sencillas que permiten analizar los hechos y tomar decisiones, es decir, crear nuevas
proposiciones u oraciones sencillas o compuestas que se incorporan a la base de conocimiento,
permitiendo el incremento y mejora de esta.
Bibliografía

file:///D:/Mis%20Documentos/Downloads/Matem%C3%A1ticas_discretas_aplicaciones_y_ejercicios_
----_(Pg_30--34).pdf

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=3228934&ppg=166

http://erenriquez.net/largoty/Ova01MD/

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=3185066&ppg=14

http://repository.unad.edu.co/handle/10596/7961

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=3194062