Evidencia de conocimiento: GA3-220501093-AA1-EV01 Bases Conceptuales de

lógica proposicional

Sistema de Información
MOTORS MARKET

Aprendiz

Juan Fernando Morales Martinez

Ficha: 2547411

Instructor

Milton Manuel Ortiz Lopez

SENA

Tecnología en Análisis y Desarrollo de Software

La Estrella – Antioquia

Enero de 2023
 Tabla de contenido
INTRODUCCIÓN...................................................................................................................... 3
DESCRIPCIÓN GLOBAL DEL PROYECTO.................................................................................. 4
OBJETIVO GENERAL ............................................................................................................... 5
ALCANCE................................................................................................................................. 6
BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL ........................................................... 7
 INTRODUCCIÓN
Con esta evidencia se pretende dar solución a los problemas de lógica proposicional,
registrando el paso a paso de los mismos.
 DESCRIPCIÓN GLOBAL DEL PROYECTO
El producto final permite tener una visualización general o detallada según la necesidad del
usuario que haga uso del sitio web MOTORS MARKET, enfocados en el catálogo de
productos permitiendo realizar la gestión como vendedor de sus productos luego de haber
sido publicados, así mismo permite al consumidor navegar por los productos de los
diferentes negocios según la necesidad que tenga en ese momento para sus vehículos.
 OBJETIVO GENERAL
Dar solución a los problemas de lógica proposicional, registrando el paso a paso de
los mismos.
 ALCANCE
La presente evidencia contempla la solución a los problemas de lógica proposicional,
registrando el paso a paso de los mismos.
 BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL
Teniendo en cuenta los conceptos desarrollados durante el componente formativo,
construir un documento donde se dé solución a los siguientes problemas de lógica proposicional
registrando cada uno de los pasos elaborados para llegar a la solución:

• (2 * 5) < 8 OR ((4 * 6) > (2 * 5) )

R/: 10 < 8 OR (24 > 10 )
F OR V
F

• (4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) )

R/: 9 < 3 AND ( 25 + ( 29 < 3))
9 < 3 AND 54 < 3
F AND F
F

Construir la tabla de verdad para las siguientes expresiones:

● ( P ∧ Q)

P Q PᶺQ
V V V
V F F
F V F
F F F

● ( P ∨ Q)

P Q PvQ
V V V
V F V
F V V
F F F