Logica

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM
FACULTAD DE INGENIERIA
Carrera Profesional de Ingeniera en Sistemas e Informtica
UNIDAD N 01:
SEMANA 01:
Periodo Acadmico: 2009 - I

Curso: MATEMTICA DISCRETA
Denominacin: LGICA, MATEMTICA Y CONJUNTOS.

Contenido: Lgica Proposicional: Introduccin. Proposiciones lgicas. Clases de Proposiciones Lgicas.
Proposiciones Compuestas Bsicas. Proposiciones Compuestas. Tautologa, Contradiccin y Contingencia.
Proposiciones Lgicamente Equivalentes.
Objetivos:
- Formalizar y simbolizar cualquier proposicin simple o molecular.
- Determinar la tabla de verdad, determinar los valores de verdad de las proposiciones simples o
compuestas.
- Identificar las proposiciones lgicamente equivalentes.
Sesin 01:
Tema:
LGICA PROPOSICIONAL
I.
INTRODUCCIN:
El ser humano, a travs de su vida diaria, se comunica con sus semejantes a travs de un lenguaje
determinado (oral, escrito, etc.) por medio de las denominadas frases u oraciones. Estas pueden tener
diferentes significados pero siempre van a resumirse a las formas de verdaderas o falsas, siendo ste el
precedente fundamental para el desarrollo humano. Lo importante en el desarrollo de esta sesin es el
hecho de que, a partir de los enunciados y de acuerdo a su significado es posible establecer una
proposicin y a partir de un conjunto de stas podemos llegar a una conclusin o inferencia, siendo la
lgica la ciencia encargada del estudio de stas.
La lgica proposicional es una rama de la lgica que permite representar hechos y/o expresiones del
mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales para
estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad.
La lgica proposicional toma un rol muy importante en el desarrollo de la inteligencia artificial, y en otros
aspectos de la informtica.
II.
PROPOSICIONES LGICAS:
Definicin:
Son aquellas expresiones u oraciones que pueden ser calificadas 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 un enunciado (proposicin) se le denomina VALOR VERITATIVO o
VALOR DE VERDAD.
Ejemplos de proposiciones lgicas:
p :
q :
r :
Proposiciones lgicas
Lima es la capital del Per.
17 6 = 10.
La UNAM es una universidad privada.
Docente: Ing. Vaneza Flores Gutirrez

Celular: (052) 952864956
E-mail: ing.vaneza@hotmail.com
Valor de verdad
Verdadera (V).
Falso (F).
Falso (F).


Ejemplos de expresiones que no son proposiciones lgicas:

Expresiones que no son proposiciones lgicas
Buenos das.
No faltes.
Quin llamo por telfono?.
Ingrese a la universidad!.
Valor de verdad
No posee/No esta definido.
Observacin: En resumen, las Proposiciones Lgicas son expresiones de las que tienen sentido decir
que son verdaderas o que son falsas. Tambin se les denomina simplemente PROPOSICIONES.
III.
CLASES DE PROPOSICIONES LGICAS:

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 y algn o algunos de los
smbolos que representan a las palabras siguientes:
Palabras:
no
implica
si y solo si
o bien p o
bien q
Smbolo:
Ejemplo:
No aprob el curso de Matemtica I.
~
Hoy es sbado
maana domingo.
p
IV. PROPOSICIONES COMPUESTAS BSICAS
LA NEGACIN:
Dada una proposicin p, se denomina LA NEGACIN DE p, a otra proposicin denotada por

que le asigna el valor veritativo opuesto al de p.
~p,y
Su tabla de verdad es:

p
V
F

Celular: (052) 952864956
~p
F
V


Esta proposicin ~ p es tambin leda como:

no p
no es cierto que p
Ejemplos:
Sean las proposiciones:
Expresin simblica
p:
q:
Lenguaje natural
3 x 4 = 12
Visual Basic 6.0 no es un lenguaje de programacin.
Valor de verdad
V
F
Entonces sus negaciones son:

Expresin simblica
~ p:
~ q:
Lenguaje natural
No es cierto que 3 x 4 = 12 (o sino, 3 x 4 12 )
Visual Basic 6.0 es un lenguaje de programacin.
Valor de verdad
F
V
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 est definida por la siguiente condicin:
La proposicin p v q es FALSA nicamente en el caso en que p y q son ambas falsas; en
cualquier otro caso es verdadera.
En su tabla de verdad se denota sus valores para todas las posibles combinaciones de valores
veritativos de p y q como sigue:
p
V
V
F
F
q
V
F
V
F
p v q
V
V
V
F
(*) Ver el ejemplo.
Por ejemplo: correspondiente a la combinacin (*) de la tercera fila:
Expresin simblica
p:
q:
p v q
Lenguaje natural
8 es menor que 5
6 es mayor que 5
8 es menor que 5 o 6 es mayor que 5

Celular: (052) 952864956
Valor de verdad
F
V
V


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).
p
V
V
F
F
q
V
F
V
F
q
V
F
F
F
(*) Ver el ejemplo.
Por ejemplo: correspondiente a la combinacin (*) de la segunda fila:
Expresin simblica
p:
q:
p q
Lenguaje natural
9 es mltiplo de 3
10 + 7 = 12
9 es mltiplo de 3 y 10 + 7 = 12
Valor de verdad
V
F
F
LA CONDICIONAL:
Se le simboliza p q, y se lee Si p entonces q. Es una nueva proposicin compuesta que es falsa
nicamente en le caso en que la proposicin p es verdadera y la proposicin q es falsa.
p
V
V
F
F
q
V
F
V
F
q
V
F
V
V
La proposicin p es llamada ANTECEDENTE y la proposicin q CONSECUENTE.

Esta proposicin p q tambin se lee de las siguientes maneras:
p implica q.
p es una condicin suficiente para que q.
q a menos que ~p
Es suficiente que p para que q.

Celular: (052) 952864956


Ejemplo: Explique porqu las condicionales siguientes tienen los valores veritativos indicados:
Expresin simblica
p q
p q
p q
Lenguaje natural
2+ 3 = 8 5 < 6
3 - 1 = 4 2 < 1
Si 5 es primo, entonces 15 es un nmero par
Valor de verdad
V
V
F
Estas condicionales tienen los valores de verdad indicados debido a que:

a) p es falsa y q verdadera
b) p es falsa y q falsa
c) p es verdadera y q falsa
:
:
:
condicional verdadera.
condicional verdadera.
condicional falsa.
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.
p
V
V
F
F
q
V
F
V
F
V
F
F
V
Tambin se lee como:

p si y solamente si q .
p es una condicional necesaria y suficiente para q.
Por ejemplo:
Expresin simblica
p
q
p q
Lenguaje natural
2 < 4
2 + 6 < 4 + 6
2 < 4 si y solo si
2+6 < 4 + 6
Valor de verdad
V
V
V
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.

Celular: (052) 952864956



P
V
V
F
F
q
V
F
V
F
q
F
V
V
F
Por ejemplo:
Expresin simblica
p
q
p q
Lenguaje natural
Vamos a Arequipa.
Vamos a Tacna.
O vamos a Arequipa o vamos a Tacna
Valor de verdad
V / F
F / V
V
Sea la proposicin: O vamos a Arequipa o vamos a Tacna.

Queda claro que slo podremos ir a uno de los dos lugares, y slo a uno. Es decir que el enunciado es
verdadero slo si vamos a una de las dos ciudades. En caso de ir a ambas, o de no ir a ninguna, el
enunciado es Falso.
V.
CONECTIVOS LGICOS
-
Representacin: Los conectivos lgicos se representan por los smbolos:

Palabras:
No
implica
si y solo si
o bien p o
bien q
Smbolo:
VI. 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.
Por ejemplo, la tabla de verdad de la proposicin compuesta siguiente:

[ (~p)
q ] (r
p ) , es:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
~p
F
F
F
F
V
V
V
V
(~p)
q
V
V
F
F
V
V
V
V

Celular: (052) 952864956
p
V
F
V
F
F
F
F
F
[ (~p)
q ]
(r
p)
V
F
V
V
F
F
F
F
6


Jerarqua 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 se avanza de izquierda a derecha. Los corchetes son considerados como parntesis.
VII. TAUTOLOGA, CONTRADICCIN y CONTINGENCIA

-
TAUTOLOGA: A toda proposicin simple o compuesta cuyo valor es siempre VERDADERO para
cualquier combinacin de valores veritativos de sus componentes se le llama TAUTOLOGA y se le
denota siempre por V.
Ejemplo: La proposicin [ ( (~p)
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
(~p)
q)
~p , es una TAUTOLOGA. En efecto:
[ ( (~p)
V
F
V
V
q)
F
F
F
V
~q ]
~p
V
V
V
V
F
F
V
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
Ejemplo: La proposicin [ ( p
p
V
V
F
F
~q ]
q
V
F
V
F
~q
F
V
F
V
q)
(p
q ]
q)
V
F
F
F
~q , es una CONTRADICCIN. En efecto:
[ (p
q)
q ]
V
F
V
F
~q
F
F
F
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.
Ejemplo:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
~p
F
F
F
F
V
V
V
V
(~p)

Celular: (052) 952864956
q
V
V
F
F
V
V
V
V
p
V
F
V
F
F
F
F
F
[ (~p)
q ]
(r
p)
V
F
V
V
F
F
F
F


VIII. 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
Ejemplo:
Las proposiciones ( p q ) y [ (~q) (~p) ] son EQUIVALENTES pues sus tablas de verdad
resultantes son idnticas, como se puede ver en el cuadro:
p
V
V
F
F
q
V
F
V
F
q
V
F
V
V
~q
F
V
F
V
~p
V
F
V
V
F
F
V
V
idntica
Por lo tanto: ( p
q)
[ (~q)
(~p) ]
IX. EJERCICIOS PRCTICOS

Identifique las proposiciones en las siguientes expresiones:
a) El teclado es un dispositivo de entrada de datos.
Respuesta: El teclado es un dispositivo de entrada de datos.
p
p
: El teclado es un dispositivo de entrada de datos.
b) El curso de Fsica es terico y prctico.

Respuesta: El curso de Fsica es terico y prctico.
p
p
q
: El curso de Fsica es terico.

: El curso de Fsica es prctico.
c) Ana y Pedro estudian en la UNAM, entonces son parte de la comunidad universitaria.

Respuesta: Ana y Pedro estudian en la UNAM, entonces son parte de la comunidad universitaria.
p
p
q
r
: Ana estudia en la UNAM.

: Pedro estudia en la UNAM.
: Son parte de la comunidad universitaria.

Celular: (052) 952864956


Construya proposiciones compuestas:

Sea
p: 8 es un nmero par.
q: 8 es el producto de dos enteros.
Traducir en smbolos cada una de las siguientes proposiciones:

a) 8 es un nmero par o es un producto de dos enteros.
b) 8 es impar y es un producto de de dos enteros.
c) 8 es par y un producto de dos enteros o es un nmero impar y no un producto de dos enteros.
Respuesta:
a) p
q
b) (~p)
q
c) (p
q)
[ (~p)
(~q)]
Indicar que proposiciones son verdaderas o falsas:

Sean p, q y r tres proposiciones tales que p es verdadera, q es falsa y r es falsa. Indicar cules de las
siguientes proposiciones son verdaderas:
a) (p
b) (~p)
q)
r
(q
r)
Solucin:
a) Esta proposicin es VERDADERA, pues:
(p
(V
q)
F)
V
b) Esta proposicin es FALSA, pues:
(~p)
(q
r)
(F)
(F
F)
F
Celular: (052) 952864956

X.

PROBLEMAS PROPUESTOS
Dadas dos sentencias proposicionales A y B, se cumple que AB es una tautologa. Indicar cules de las
siguientes opciones son vlidas:
a. A B es una tautologa.
b. A B es una tautologa.
c. A B es una tautologa.
d. B A es una tautologa.
e. A B es una tautologa.
f. A B es contradiccin.
g. A B es contradiccin.
La sentencia El caso no se resolver a menos que el asesino decida confesar su crimen o aparezca por
sorpresa un testigo relevante puede formalizarse como:
a. ~q (q r)
b. (q r) ~p
c. (q r) p
d. p (q r)
Dadas las premisas { p (q r), q r } Cul de las siguientes podra ser la consecuencia para
que el razonamiento sea correcto?
a.p r
b.p r
c.r p
d.p r
Dada la frmula ((p q) (q r)) (p q), una frmula equivalente puede ser:
a.p q
b.p
c.p q r
d.(p q) (p r)
XI. CONCLUSIONES
-
Las PROPOSICIONES son aquellas expresiones u oraciones que pueden ser calificadas 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 un enunciado (proposicin) se le denomina VALOR VERITATIVO o

VALOR DE VERDAD.
Las clases de proposiciones lgicas pueden ser PROPOSICIONES SIMPLES O ATMICAS y las
PROPOSICIONES COMPUESTAS O MOLECULARES.

Celular: (052) 952864956
10


Proposiciones compuestas bsicas son: la NEGACIN, la DISYUNCIN, la CONJUNCIN, la

CONDICIONAL, la BICONDICIONAL y la DISYUNCIN EXCLUSIVA.
Las PROPOSICIONES COMPUESTAS se forman utilizando los conectivos lgicos, con los cuales 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.
La TAUTOLOGA se da en toda proposicin simple o compuesta cuyo valor es siempre VERDADERO y

se le denota siempre por V.
La CONTRADICCIN se da en toda proposicin simple o compuesta cuyo valor es siempre FALSO y

se le denota simplemente por F
La CONTINGENCIA se da en toda proposicin simple o compuesta cuya tabla de verdad contiene al

menos un V y al menos un F.
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 .
XII. BIBLIOGRAFA
Libros:
1. R. Figueroa, Matemtica Bsica, Ed. Americana, Lima 1996
2. W. K.Grassmann, J.P. Tremblay, Matemtica Discreta y Lgica. Ed. Prentice Hall 1997.
Direcciones electrnicas:
2. Tema: Lgica Proposicional
Autor: Andrs J. Bilstein
http://www.scribd.com/doc/3984030/Logica-Proposicional
3. Tema: Lgica
Autores: Fernando Hernndez Magadn, Jose E. Labra G., Daniel Fernndez Lanvin Daniel Gayo
Avello Csar Fernndez Acebal.
http://www.di.uniovi.es/~labra/Logica/Logica.html

Celular: (052) 952864956
11

Logica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

Denominacin: LGICA, MATEMTICA Y CONJUNTOS.

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

Ejemplos de expresiones que no son proposiciones lgicas:

CLASES DE PROPOSICIONES LGICAS:

No aprob el curso de Matemtica I.

Dada una proposicin p, se denomina LA NEGACIN DE p, a otra proposicin denotada por

Su tabla de verdad es:

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

Esta proposicin ~ p es tambin leda como:

Entonces sus negaciones son:

(*) Ver el ejemplo.

Por ejemplo: correspondiente a la combinacin (*) de la tercera fila:

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

(*) Ver el ejemplo.

Por ejemplo: correspondiente a la combinacin (*) de la segunda fila:

La proposicin p es llamada ANTECEDENTE y la proposicin q CONSECUENTE.

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

Estas condicionales tienen los valores de verdad indicados debido a que:

Tambin se lee como:

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

Su tabla de verdad es:

Sea la proposicin: O vamos a Arequipa o vamos a Tacna.

Representacin: Los conectivos lgicos se representan por los smbolos:

VI. PROPOSICIONES COMPUESTAS

Por ejemplo, la tabla de verdad de la proposicin compuesta siguiente:

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

VII. TAUTOLOGA, CONTRADICCIN y CONTINGENCIA

~p , es una TAUTOLOGA. En efecto:

~q , es una CONTRADICCIN. En efecto:

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

VIII. PROPOSICIONES LGICAMENTE EQUIVALENTES

IX. EJERCICIOS PRCTICOS

: El teclado es un dispositivo de entrada de datos.

b) El curso de Fsica es terico y prctico.

: El curso de Fsica es terico.

c) Ana y Pedro estudian en la UNAM, entonces son parte de la comunidad universitaria.

: Ana estudia en la UNAM.

Docente: Ing. Vaneza Flores Gutirrez

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

Construya proposiciones compuestas:

Traducir en smbolos cada una de las siguientes proposiciones:

Indicar que proposiciones son verdaderas o falsas:

UNIVERSIDAD NACIONAL DE MOQUEGUA - UNAM

Periodo Acadmico: 2009 - I

A la veracidad o falsedad de un enunciado (proposicin) se le denomina VALOR VERITATIVO o

Docente: Ing. Vaneza Flores Gutirrez