Lgica Matemtica

PROPOSICIONES LGICAS

Enunciado
Es toda frase u oracin que se utiliza en nuestro lenguaje
Proposicin
Es todo enunciado, respecto de la cual se puede decir si es verdadera (V) o falsa (F)
Notacin
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es
decir, p, q, r, s, t,... etc.
As, por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad:
Proposicin

q: Villa Nueva es municipio de Guatemala ....................................... (V)

r: El nmero 15 es divisible por 3. ..................................................... (V)
s: El perro es un ave. ......................................................................... (F)
t: Todos los tringulos tienen cuatro lados ....................................... (F)
u: Qu da es hoy? No es una proposicin
p: Viva Guatemala! No es una proposicin

EXPRESIONES NO PROPOSICIONALES
a) Levntate temprano! b) Has entendido lo que es una proposicin? c) Estudia esta leccin! d)
Cul es tu nombre l? e) Prohibido pasar f) Borra el pizarrn
No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones,
rdenes ni las preguntas son proposiciones

Prctica Dirigida N 01

Indique cul de los siguientes enunciados son proposiciones escribiendo dentro del parntesis la
palabra es:
a) 5 + 7 = 16 - 4 ...................................................................... ( )
b) Estudie lgica proposicional! .............................................. ( )
c) Los hombres no pueden vivir sin oxgeno ............................ ( )
d) 3 x 6 = 15 + 1 y 4 - 2 23 x 5 ..................................... ( )
e) El silencio es fundamental para estudiar? ......................... ( )
f) 20 -18 = 2 ............................................................................ ( )
g) Brea es un distrito de la provincia de Lima ........................ ( )
h) Un lpiz no es un cuaderno .................................................. ( )
i) Eres estudiante de matemtica? ........................................ ( )
j) 15 < 13 ................................................................................ ( )
k) Ponga atencin ................................................................... ( )
ENUNCIADOS ABIERTOS

Son aquellos enunciados que constan de variables. Se convierte en una proposicin cuando se le
asigna un valor especfico a la variable". Ejemplos:

a) p: x es la capital del Per

S x: Lima, Quito
Para p (Lima): Lima es la capital del Per es verdadero (V)
Para p (Quito): Quito es la capital del Per es falso (F)
b) q: y + 4 = 11 , y es nmero natural
Y: 0; 1; 2; 3; 4;..
Para q (1): 1+ 4 = 11 , es falso (F)
q (7): 8+4 = 11 , es verdadero (V)

Prctica Dirigida N 02

Determine cules de los siguientes enunciados son enunciados abiertos y para que valores de la
variable las proposiciones son verdaderas y falsas

a) x es hermano de y ........................................................... __________________________

b) 28 < 15 ............................................................................... __________________________

c) l es arquitecto..................................................................... __________________________

d) Tenga calma ,no se impaciente ............................................ __________________________

e) 9x + 3 = 12 , x R ..................................................... __________________________

f) x es Ingeniero y Juan es Matemtico............................... __________________________

g) 3x 8 > 15 , x R ...................................................... __________________________

h) x + y 15 , x,y R ................................................ __________________________

i) 2x + 5 > 11, x R ................................................................ __________________________

j) 3x + 7 = 11, x N ................................................................. __________________________

k) x es un animal....................................................................... __________________________
CLASE DE PROPOSICIONES
A) Proposicin Simple Son aquellas proposiciones que constan de un solo enunciado proposicional
. Por ejemplo, sea la proposicin
p: 3 + 6 = 9
B) Proposicin Compuesta Son aquellas proposiciones que constan de dos o ms proposiciones
simples.
Ejemplo:
r: Pitgoras era griego y era gemetra
p q
Encontramos dos enunciados. El primero (p) nos afirma que Pitgoras era griego y el segundo (q)
que Pitgoras era gemetra.
Ejemplo:
p: Juan es profesor o Manuel es arquitecto
Donde podemos observar que la proposicin p, se divide en dos proposiciones simples:
r: Juan es profesor y
s : Manuel es arquitecto
Es decir , p : r o s
CONECTIVOS LGICOS
Enlazan proposiciones simples
A partir de proporciones simples es posible generar otras, simples o compuestas. Es decir que se
puede operar con proposiciones, y para ello se utilizan ciertos smbolos llamados conectivos
lgicos

Smbolo Operacin asociada Significado

~ Negacin no p o no es cierto que p

Conjuncin o producto lgico pyq

Disyuncin o suma lgica p o q (en sentido incluyente)

Implicacin p implica q, o si p entonces q

Doble implicacin p si y slo si q

Diferencia simtrica p o q (en sentido excluyente)

OPERACIONES PROPOSICIONALES
Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos o ms
proposiciones, de las que se conoce los valores de verdad, se trata de caracterizar la proposicin
resultante a travs de su valor de verdad. A tal efecto, estudiaremos a continuacin el uso y
significado de los diferentes conectivos lgicos mencionados arriba:
1.-NEGACIN

Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por ~p (se lee
"no p") que le asigna el valor de verdad opuesto al de p. Por ejemplo:

p: Diego estudia matemtica

~p : Diego no estudia matemtica

Por lo que nos resulta sencillo construir su tabla de verdad:

p ~p

V F

F V

Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su
negacin.

Ejemplo.

La negacin de
p: todos los alumnos estudian matemtica es
~p: no todos los alumnos estudian matemtica o bien:
~p: no es cierto que todos los alumnos estudian matemtica
~p: hay alumnos que no estudian matemtica

2.-CONJUNCIN

Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin p

q (se lee "p y q")

Ejemplo.

Sea la declaracin

i) 5 es un nmero impar y 6 es un nmero par

p q

Vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que son

p: 5 es un nmero impar

q: 6 es un nmero par
Y por ser ambas verdaderas, la conjuncin de ellas (que no es sino la declaracin i) es verdadera.

Tabla de verdad

p q p q

V V V

V F F

F V F

F F F

La tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo son las dos
proposiciones componentes. En todo otro caso, es falsa.
Ejemplo: Si p: 3 es mayor que 7
q : Todo nmero par es mltiplo de dos
Entonces :
p q : 3 es mayor que 7 y todo nmero par es mltiplo de dos
Por ser ambas verdaderas la conjuncin de ellas es verdadera

3.-DISYUNCIN
Dadas dos proposiciones p yq, la disyuncin de las proposiciones p y q es la proposicin p q , se
lee p o q
Ejemplo 1.
Tiro las cosas viejas o que no me sirven

El sentido de la disyuncin compuesta por p y q (p: tiro las cosas viejas, q: tiro las cosas que no me
sirven) es incluyente, pues si tiro algo viejo, y que adems no me sirve, la disyuncin es V.
La disyuncin o es utilizada en sentido excluyente, ya que la verdad de la disyuncin se da en el
caso de que al menos una de las proposiciones sea verdadera
Tabla de verdad
p q p q

V V V

V F V

F V V

F F F
Ejemplo2
Si p : Hace fri en Invierno , y
q : Napolen invadi Lima
p q : Hace fri en Invierno o Napolen invadi
Lima
Por ser al menos una de la proposiciones verdadera la conjuncin es verdadera
4.-IMPLICACIN O CONDICIONAL
Implicacin de las proposiciones p y q es la proposicin p q (si p entonces q). La proposicin p
se llama antecedente, y la proposicin q se llama consecuente de la implicacin o condicional.
Ejemplo.
Supongamos la implicacin
Si apruebo, ENTONCES te presto el libro

p q
La implicacin est compuesta de las proposiciones
p: apruebo
q: te presto el libro
Nos interesa conocer la verdad o falsedad de la implicacin i), en relacin a la verdad o falsedad de
las proposiciones p y q. El enunciado puede pensarse como un compromiso, condicionado por p, y
podemos asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir si
no apruebo el examen, quedo liberado del compromiso y preste o no el apunte la implicacin es
verdadera.
Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple
y la proposicin i) es falsa. Si p y q son verdaderas, entonces la proposicin i) es verdadera pues el
compromiso se cumple.

Tabla de verdad

p q p q

V V V

V F F

F V V

F F V

La tabla nos muestra que la implicacin slo es falsa si el antecedente es verdadero y el

consecuente es falso.
5.-DOBLE IMPLICACIN O BICONDICIONAL

Doble implicacin de las proposiciones p y q es la proposicin p q (se lee "p si y slo si q")

Ejemplo 1:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces:
p q : Karina ingresa a la universidad si y slo si estudia mucho.
Ejemplo 2:
Sea i) a = b si y slo si a = b
El enunciado est compuesto por las proposiciones:
p: a = b
q: a = b
Esta doble implicacin es falsa si p es F y q es V. En los dems casos es V.
Tabla de verdad

p q p q

V V V
V F F
F V F
F F V

La doble implicacin o bicondicional slo es verdadera si ambas proposiciones tienen el mismo

valor de verdad.
La doble implicacin puede definirse como la conjuncin de una implicacin y su recproca. De
este modo, la tabla de valores de verdad de p q puede obtenerse mediante la tabla de
(pq) (q p), como vemos:

p q p q qp (p q) (q p)

V V V V V
V F F V F
F V V F F
F F V V V
Diferencia Simtrica
Diferencia simtrica o disyuncin en sentido excluyente de las proposiciones p y q es la
proposicin p q (se lee "p o q en sentido excluyente") cuya tabla de valores de verdad es:

p q p q

V V F
V F V
F V V
F F F

La verdad de p q est caracterizada por la verdad de una y slo una de las proposiciones
componentes.
Ejemplo.
Sea o vamos al Irtra o vamos al cine

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 uno de los dos lugares. En caso de ir a ambas, o de no ir a ninguna, el
enunciado es Falso.

PROPOSICIONES LGICAMENTE EQUIVALENTES

Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son idnticas. De ser as se
denota: p q
Ejemplo. Sea p: p q, recordamos su tabla de verdad
p q p q

V V V
V F F
F V V
F F V

Ahora bien, si analizamos la proposicin q: ~p q, su tabla de verdad resulta:

p q ~p q

V V V
V F F
F V V
F F V

Como vemos, luego de realizar las tablas de verdad encontramos que ambas proposiciones tienen
el mismo resultado final. Con esto, decimos que ambas proposiciones son lgicamente
equivalentes, y en este caso particular lo simbolizamos:
(p q) (~p q)
Construccin de tablas de verdad.

Teniendo en cuenta que la forma correcta de escribir una variable proposicional es la sintaxis y la
semntica es lo que significa. En la lgica una variable proposicional une solamente dos valores de
verdad V o F.

Para determinar de una Variable Proposicional, debemos seguir las reglas que se dieron en el tema
conectores. Esto se hace mediante interpretacin que son un conjunto de valores que se asignan a
sus proposiciones simples o atmicas.

Al realizar la interpretacin de Variable Proposicional se obtiene un valor de verdad V o F. Cada tabla

tiene un nmero de interpretaciones que aparezcan en la familia.
n
El criterio para determinar cuntas interpretaciones posibles hay, tiene una formula 2 donde n es
el nmero de proposiciones simples.
As la tabla de verdad de una frmula que tenga 2 variables tendr 2 4 filas, una que tenga 3,
2

2 3 8 , etc.

Luego de calcular el nmero de filas se procede de la siguiente manera:

La columna 1 corresponde a la asignacin de todas las combinaciones de valores de verdad posibles
de las V o F que aparecen en la formula.
Calculo del valor de verdad de la negacin de las V o F.
Calculo de los conectores binarios que afectan a los resultados del paso anterior o a negaciones.
Se calculan todos los conectivos binarios hasta llegar al conector principal.

El resultado de la tabla aparece reflejado en la ultima columna donde este el conector principal.

Ejemplo 1:

Construccin de tabla de verdad

P q p q
Esta proposicin compuesta tiene 2 proposiciones simples, por tanto 2 4
2

p q p q pq p q p q p q
V V F F V V V
V F F V F V F
F V V F V F F
F F V V V V V
Ejemplo 2:
p q q p r
La proposicin compuesta tiene las proposiciones simples P, Q, R por tanto 2 8
3

p q r q p q q p p q q p r
V V V F F V F V
V V F F F V F V
V F V V V F F V
V F F V V F F V
F V V F V F F V
F V F F V F F V
F F V V V F F V
F F F V V F F V

El resultado de la tabla de verdad de una frmula es la ltima columna. En este resultado pueden
ocurrir tres casos:

Que el resultado final de la tabla solo arroja signos V.

El resultado final de la tabla solo arroja signos F.
El resultado final presenta signos de V y signos de F indistintamente.
Se dice que es:

TAUTOLOGA:
Si y solo si su valor de verdad es siempre V, para toda interpretacin posible. Esto significa que el
resultado de la tabla arroja solo V en su columna final.

CONTRADICCIN:
Si la tabla de verdad arroja solamente F.

CONTINGENCIA:
Si y solo si su valor de verdad es falso para al menos una interpretacin y V para al menos otra.

La cual se divide en:

Consistencia: Cuando la tabla de verdad arroja mayor cantidad de valores verdaderos que falsos.

Inconsistencia: Cuando la tabla de verdad arroja mayor cantidad de valores falsos que verdaderos.