AO DE LA INTEGRACIN NACIONAL Y EL RECONOCIMIENTO DE

NUESTRA DIVERSIDAD CULTURAL

ESCUELA : Ingeniera de Sistemas

NOMBRE : Carrasco Manay, Juan

PROFESOR : Quiroz Ayasta, Fernando

ASIGNATURA :Competencia Lgica Matemtica

TEMA :Lgica Proposicional

AULA : B 404

LGICA PROPOSICIONAL

PROPOSICIONES LGICAS:

Definicin: Son aquellas expresiones u oraciones que pueden ser
clasificadas bien como VERDADERAS, o bien como FALSAS, sin
ambigedades. Las proposiciones lgicas sern denotadas con letras
minsculas generalmente:
p,q,r, , etc.

A la veracidad o falsedad de u enunciado (proposicin) se le domina VALOR
VERITATIVO o VALOR DE VERDAD.

EJEMPLOS DE PROPOSICIONES LGICAS:


EJEMPLO DE EXPRESIONES QUE NO SON
PROPOSICIONES LGICAS
OBSERVACIN:

En resumen, las Proposiciones Lgicas son expresiones de las que
tienen sentido es decir que son verdaderas o que son falsas.
Tambin se les denomina simplemente PROPOSICIONES.
CLASES DE PROPOSICIONES LGICAS:
Tenemos las Siguientes:

PROPOSICIONES SIMPLES O ATMICAS:
Son aquellas que se pueden representar por una sola variable, es decir, por una sola
letra como:
p: Pamela tiene 20 aos.
q: 5 x 5 = 25

PROPOSICIONES COMPUESTAS O MOLECULARES:
Son aquellas que se pueden representar por lo menos por una variable o algn o
algunos de los smbolos que representan las palabras siguientes:

PROPOSICIONES COMPUESTAS BSICAS
LA NEGACIN:
Dada una proposicin p, se denomina LA NEGACIN DE p, a otra proposicin
denotada por ~ p, y que le asigna el valor veritativo opuesto al de p.
Esta Proposicin ~ p es tambin leda como:
no p
no es cierto que p

EJEMPLOS DE NEGACIN:
LA DISYUNCIN:
Se le denota p v q y se lee p o q. Es una Proposicin Compuesta por la
proposicin p y la proposicin q, ambas relacionadas por la palabra o, y esta
definida por la siguiente condicin.
En su tabla de verdad se denota sus valores para todas las posibles combinaciones de
valores veritativos de p y q como sigue.
LA CONJUNCIN:
Se le simboliza p q , y se lee como p y q. Se le define como una nueva
proposicin que resulta verdadera (V) en el nico caso en que las proposiciones
componentes p y q son ambas VERDADERAS (V). En todos los dems casos es FALSA
(F).
Su tabla de verdad es:
LA CONDICIONAL:
Se le simboliza p q, y se lee Si p entonces q. Es una nueva proposicin
compuesta que es falsa nicamente en el caso en que la proposicin p es verdadera y la
proposicin q es falsa.

Su tabla de verdad es:
EJEMPLO DE LA CONDICIONAL:
LA BICONDICIONAL:
Se denota p q, y se lee p si y solo si q. Es aquella proposicin compuesta que
es VERDADERA en los casos en que ambas p y q tengan valores veritativos iguales
(ambas verdaderas o ambas falsas); es FALSA en los casos en p y q tengan valores
veritativos opuestos.
Su tabla de verdad es:

LA DISYUNCIN EXCLUSIVA:
Se denota p q, y se lee: O bien p o bien q. Es aquella proposicin que es
verdadera en los casos en que ambas proposiciones p y q tengan valores veritativos
opuestos, y es falsa si ambas tienen idnticos valores de verdad.
Su tabla de verdad es:
CONECTIVOS LGICOS
JERARQUIA DE LOS CONECTIVOS LGICOS
Cuando en una proposicin compuesta se tiene varios conectivos lgicos, las
operaciones se realizan luego de colocar los parntesis adecuadamente comenzando
de las proposiciones que se encuentren dentro de los parntesis interiores. Siguen
todas las negaciones y luego avanza de izquierda a derecha. Los corchetes son
considerados como parntesis.
PROPOSICIONES COMPUESTAS
- Utilizando los conectivos lgicos se pueden combinar cualquier nmero finito de
proposiciones compuestas bsicas para obtener otras cuyos valores de verdad
pueden ser conocidos construyendo sus tablas de verdad; en tales tablas se indican
los valores resultantes de estas proposiciones compuestas para todas las
combinaciones posibles de valores de verdad de las proposiciones compuestas.

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA
TAUTOLOGIA:

A toda proposicin simple o compuesta cuyo valor es siempre VERDADERO para
cualquier combinacin de valores veritativos de sus componentes se le llama
TAUTOLOGIA y se le denota siempre por V.
CONTRADICCIN:
A toda proposicin simple o compuesta cuyo valor es siempre FALSO para todas las
combinaciones de valores veritativos de sus componentes se le llama
CONTRADICCIN, y se le denota simplemente por F.

CONTINGENCIA:
Una proposicin simple o compuesta cuya tabla de verdad contiene al menos un V y
al menos un F recibe el nombre de CONTINGENCIA.
PROPOSICIONES LGICAMENTE
EQUIVALENTES
Dos proposiciones p y q se llaman EQUIVALENTES (O Lgicamente equivalentes)
si sus tablas de verdad son idnticas, en cuyo caso se simboliza.
p q