FORMALIZACIN LGICA

PROPOSICIONAL

LGICA PROPOSICIONAL

La lgica proposional es una herramienta que nos ofrece identificar las similitudes y diferencias
existentes entre preposiciones por medio de la semitica para evaluar su equivalencia con una lgica
bivalente (verdadero o Falso).
Si el computador, no prende(p) entonces( ->)es por que esta daado.(q )Esto simbolicamente se
representa as (np->q)
Np -> Q
V V V