Lgica Matemtica Informtica II

Orientador: Lic. Richard Acosta M. wily001@gmail.com

Tablas de Verdades

Conjuncin o Producto lgico

Son las preposiones que utilizan el termino de enlace Y y se simboliza con ^, donde ambas

condiciones deben complirse necesariamente. Ej. P= En invierno hace frio Q= El pendrive es una memoria Se simboliza P ^ Q
Para que sea una conjuncin las dos expresiones tienen que ser verdaderas. Paraguay empato tres partidos pero igual clasifico.

Disyuncin o Suma Lgica

Son proposiciones formadas utilizando el termino de enlace O, donde o puede significar inclusin o exclusin.
El termino o tiene sentido incluyente cuando existe la posibilidad de que se cumpla ambas expresiones. Aprobara la asignatura el que de el P A PvQ examen o el que termino el proyecto. V V V El termino o tiene sentido excluyente cuando existe la posibilidad de que NO se cumpla ambas expresiones. El sistema operativo es un P un PvQ software o A hardware V V F V F F V V F

PvQ

V F F

F V F

V V F

PwQ

V F F

Ejercicios
Escribe 5 proposiciones atmicas y simboliza. Forma 2 conjunciones y simboliza. Forma 2 disyunciones inclusivas. Simboliza Forma 2 disyunciones exclusivas. Simboliza.

Negacin
Es la proposicin molecular formada anteponiendo el adverbio NO a la expresin
No hace fro

P
P V P F

La negacin invierte el valor lgico de la expresin. El termino NO tambin se puede cambiar por: no es cierto que, no es verdad que, es falso que... La computadora es inteligente La computadora no es inteligente

Ejercicios
Escribe 5 proposiciones atmicas y simboliza. Escribe 5 la negacin de las proposiciones atmicas y simboliza.

Condicional
El condicional material es una funcin de verdad que toma dos valores de verdad
Devuelve falso cuando el primer valor es verdadero y el segundo falso, y verdadero en cualquier otro caso

Condicional

Tablas de Verdades

Agrupacin y Parntesis
Parntesis: ( )

Dentro de un parntesis se pueden agrupar dos variables proposicionales, unidas por cualquier conector lgico binario. Ejemplo: (o, si, solo si, entonces)
Si practico y juego bien entonces jugare el partido P: si practico Q: y juego bien A: entonces jugare el partido

(P ^ Q) A