Scribd
Cargar
0 vistas4 páginas

Bases Conceptuales de Lógica Proposicional GA3-220501093-AA1-EV01

El documento presenta una actividad sobre lógica proposicional, donde se resuelven problemas utilizando operaciones lógicas y se construyen tablas de verdad. Se incluyen ejemplos prácticos que ilustran el proceso de solución paso a paso. El trabajo está dirigido por el instructor Edison Andrés Sandoval Ordoñez y es parte del curso de Análisis y Desarrollo de Software.

Cargado por

fallacruz0
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
0 vistas4 páginas

Bases Conceptuales de Lógica Proposicional GA3-220501093-AA1-EV01

El documento presenta una actividad sobre lógica proposicional, donde se resuelven problemas utilizando operaciones lógicas y se construyen tablas de verdad. Se incluyen ejemplos prácticos que ilustran el proceso de solución paso a paso. El trabajo está dirigido por el instructor Edison Andrés Sandoval Ordoñez y es parte del curso de Análisis y Desarrollo de Software.

Cargado por

fallacruz0
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 4

SERVICIO NACIONAL DE APRENDIZAJE

Análisis y Desarrollo de Software

Actividad:

Bases conceptuales de lógica proposicional GA3-220501093-AA1-EV01.


Autor:

Jhonk Sneyderht Falla Cruz

Instructor:

Edison Andrés Sandoval Ordoñez

Ficha: (3118319)
lOMoARcPSD|50249459

INTRODUCCIÓN

En el siguiente trabajo se desarrollará Evidencia de conocimiento: GA3-

220501093-AA1-EV01 bases conceptuales de lógica proposicional, de acuerdo con el

material de estudio “Introducción a la algoritmia”.


lOMoARcPSD|50249459

Taller 1

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)) Paso a paso:

(10) < 8 OR (24) > (10) → * Realizo operaciones dentro de paréntesis.

10 < 8 OR 24 > 10 → * Quito paréntesis de la operación.

F OR V → * Defino valor cada una de las proposiciones.

V → * De acuerdo con tabla de verdad OR, defino el


valor de la proposición.

1. (4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3)) Paso a paso:

(9) < 3 AND (25) + (29 < 3) →* Realizo operaciones dentro de paréntesis.

9 < 3 AND 54 < 10 →* Quito paréntesis de la operación.

F AND F →* Defino valor cada una de las proposiciones.

V →* De acuerdo con tabla de verdad AND, defino


el valor de la proposición.

Construir la tabla de verdad para las siguientes expresiones:

● (P ∧ Q)
lOMoARcPSD|50249459

P Q P ᴧ Q

F F F

F V F

V F F

V V V

● (P ∨ Q)
P Q P ∨
Q

F F F

F V V

V F V

V V V

También podría gustarte