Bases Conceptuales de Lógica Proposicional

 

BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL GA3-220501093-AA1-EV01

PRESENTADO RAFAEL ARIAS SANTIAGO HENAO MARQUEZ

INTRUCTOR JHON CHAVERRA

SERVICIO NACIONAL DE APRENDIZAJE SENA ANALISIS Y DESARROLLO DE SOFTWARE (2455251) SENA CENTRO DE COMERCIO REGIONAL ANTIOQUIA 2022

 

INSTRUMENTO DE EVALUACIÓN DATOS GENERALES

Programa de Formación: Proyecto Formativo: Fase Proyecto Resultado de aprendizaje Actividad de Aprendizaje: Evidencia de Conocimiento:

 Análisis y Desarrollo de Software Construcción de software integrador de tecnologías orientadas a servicios Planeación 220501093-03 - Desarrollar procesos lógicos a través de la implementación de algoritmos. GA3-220501093 - AA1: Realizar actividades para el desarrollo del pensamiento algorítmico Bases conceptuales de lógica proposicional. GA3-220501093-AA1-EV01

Criterios de Evaluación: Soluciona problemas de lógica proposicional incorporando habilidades propias en el oficio como programador.

1.  LISTA DE CHEQUEO No. 1.

2. 3.

4. 5  6  8  9 

VARIABLES/INDICADORES DE LOGRO

En el documento se presenta el paso a paso para la solución de la proposición (2 * 5) < 8 OR ((4 * 6) > (2 * 5) ) La proposición (2 * 5) < 8 OR ((4 * 6) > (2 * 5) ) es resuelta correctamente. En el documento se presenta el paso a paso para la solución de la proposición (4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) ) La proposición (4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) )) es resuelta correctamente. Se presenta la tabla de verdad completa para la expresión  ( P  Q). La tabla de verdad de  ( P  Q) es correcta. Se presenta la tabla de verdad completa para la expresión  ( P   Q). La tabla de verdad de  ( P   Q) es correcta.

 

A.  Desarrollar procesos lógicos a través de la implementación de algoritmos.

1.  (2 * 5) < 8 OR ((4 * 6) > (2 * 5) )   10 < 8 OR ( 24 > 10 ) F OR V F v V=F 2.

(4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) ) 9 < AND ( 25 + 29 < 3 ) 9 < 3 AND ( 54 < 3 ) F AND F F ^ F = F 

B.

Construir la tabla de verdad con las siguientes expresiones:  ( P   Q),

P

TABLAS DE VERDAD Q P   Q  ( P   Q) 

V

V

V

F

V

F

F

V

F

V

F

V

F

F

F

V

Ejercicio 1

TABLAS DE VERDAD P  Q Q

 ( P   Q) 

P

Q

V

V

F

V

V

V

F

V

V

F

F

V

V

F

V

F

F

V

V

V

Ejercicio 2



 ( P   Q).

