Introduccin

En nuestro quehacer diario constantemente hacemos, deducciones. Esto

significa, que cada conclusin que obtenemos se deduce de algo. Este algo o
punto de partida se llama premisa. Por ejemplo si exponemos un trozo de hielo
al calor, se concluye que el hielo se derrite, o cuando un campesino ve una
densa nube en el cielo, deduce que va a llover, o tambin de "todos los
mamferos son vertebrados" se puede concluir en "algunos mamferos son
vertebrados". Este proceso de pasar de un conjunto de premisas a la
conclusin se llama inferencia o deduccin.

Cuando la conclusin se deduce correctamente del conjunto de

premisas se dice que la inferencia es vlida, en caso contrario la inferencia no
es vlida. Sabemos que la conclusin se deriva correctamente de sus premisas
porque hay un conjunto de leyes lgicas que garantizan dicha correccin.
Justamente la lgica estudia el modo de usar estas leyes, con las cuales
podemos saber si una inferencia es vlida o no. De ah que, la lgica es una
ciencia que estudia los mtodos y las leyes que determinan la validez de la
inferencia.

As como existe una teora para realizar clculos con nmeros (la
aritmtica) o con objetos ms complejos como diferencial e integral, tambin
existen reglas precisas para manejar proposiciones. Esto ltimo corresponde al
estudio de la lgica proposicional.
 OBJETIVOS:

Objetivo general:
Conocer y aplicar la lgica proposicional.

Objetivos especficos:
Aprender a identificar las clases de proposiciones que se puede
encontrar en un enunciado.
Entender la aplicacin y el efecto que tienen los trminos de enlace
en las proposiciones.
Analizar proposiciones en nuestro idioma para determinar su validez.
Analizar e interpretar proposiciones para simbolizarlas.
Comprender los principios de las operaciones de la lgica
proposicional.
Analizar los enunciados para la elaboracin de las tablas de verdad,
teniendo en cuenta los trminos de enlace.
 LGICA PROPOSICIONAL

Lgica

Es una ciencia que estudia el lenguaje cientfico, su planteamiento, su

organizacin, en entidades jerrquicas y los mtodos como sus frmulas para
analizar toda forma escrita. Para comunicarse el ser humano utiliza lenguajes
discursivos dichos lenguajes estn llenos de partculas lgicas.

Las partculas lgicas: fundamentalmente son los cuantificadores las

conectivas con ellas se forman los discursos.

Lgica Proposicional

Es una rama de la lgica clsica que estudia las variables proposicionales o

sentencias lgicas, sus posibles implicaciones, evaluaciones de verdad y en
algunos casos su nivel absoluto de verdad. Algunos autores tambin la
identifican con la lgica matemtica o la lgica simbolice, ya que utiliza una
serie de smbolos especiales que lo acercan al lenguaje matemtico. Tambin
recibe el nombre de Clculo Proposicional.

Enunciado

Es toda frase u oracin que informa, expresa o dictamina alguna idea a travs
de afirmaciones o negaciones, preguntas, expresiones de emocin o de saludo,
rdenes, etc.

Enunciado Abierto

Es un enunciado en forma de expresin matemtica que no es verdadero ni

falso.

Ejemplos: x<9 x + 2 = 10

a+b=1 a 2 + b2 = c 2

Ejemplo. Son enunciados abiertos:

Los enunciados que usan las palabras l, ella son enunciados abiertos

A los enunciados abiertos que contienen variables algebraicas se les denomina

funcin proposicional, que tienen la propiedad de convertirse en
proposiciones, al sustituirse la variable por una constante especfica.

Ejemplo:

El enunciado abierto

x2 + 1 = 5

Es una funcin proposicional, el cual se convierte en proposicin cuando:

i. Para x = -3 (por ejemplo), se convierte en la proposicin

(-3)2 + 1 = 5 (F)

el cual tiene valor de verdad Falsa

ii. Para x = 2, entonces, ser la proposicin

(2)2 + 1 = 5 (V)

el cual tiene valor de verdad Verdadera

Proposicin Lgica (enunciado cerrado)

Es un enunciado informativo que admite la posibilidad de ser Verdadero o

Falso, pero no ambos a la vez.

La veracidad o falsedad de una proposicin se denomina Valor de verdad de

la proposicin
Son proposiciones:

39 es un nmero primo ( F )
Huancayo queda en Junn ( V )
1/2 < 1/4 ( F )

No son proposiciones:

Resuelve este problema

Puedes prestarme tu libro?
Buenos das profesor

Notacin
Usaremos las letras minsculas p, q, r, para simbolizar las proposiciones.

Tipos de proposiciones
Para operar con las proposiciones, stas se clasifican en dos tipos:
Simples y Compuestas, dependiendo de cmo estn conformadas.

PROPOSICIN SIMPLE: Es aquella que contiene una sola afirmacin y

se simboliza con las letras p, q, r, s, t, .. a las que llamaremos
variables proposicionales

Ejemplos: VALOR DE VERDAD

1. 15 es un nmero primo :p ( F )

2. Lima es la capital del Per :q ( V )

3. 32 = 9 :r ( F )

PROPOSICIONES COMPUESTAS: Son aquellas que estn formadas

por dos o ms proposiciones simples o es la negacin de una
proposicin simple.

En toda proposicin compuesta las proposiciones simples estn ligadas

mediante palabras conocidas como conectivos lgicos
 Las proposiciones se pueden combinar para obtener proposiciones
compuestas utilizando conectivos lgicos que veremos a continuacin:

OPERACIONES LGICAS

A partir de proposiciones simples es posible generar otras, las compuestas. Es

decir, se puede operar con proposiciones utilizando para ello ciertos smbolos
llamados conectivos lgicos.

Smbol
Operacin Significado
o
Negacin ~ no .. o no es cierto que
Conjuncin o producto lgico . y .
Disyuncin o suma lgica
o (en sentido incluyente)
Implicacin
implica , o si entonces
Doble implicacin
si y slo si
Diferencia simtrica o Disyuncin
o (en sentido excluyente)
excluyente

1. Negacin
Dada una proposicin p, se denomina negacin de p a otra proposicin
denotada por ~p (se lee "no p") que le asigna el valor veritativo opuesto al de
p. Esta ley que define a la negacin lgica o simplemente negacin, se
presenta generalmente, en forma resumida utilizando una tabla de doble
entrada denominada tabla de verdad.

La tabla de verdad de la negacin es:

p ~p Observamos que al valor V de p,

la negacin le hace corresponder
V F
el valor F, y viceversa.
F V

Ejemplo
Sea la proposicin p: 3 > 1, su negacin es ~ p: 3 1.
Se observa que V(p) = V y V(~ p) = F

NOTA: se trata de una operacin unitaria, pues se define para una proposicin.

2. Conjuncin o Producto Lgico

Dadas dos proposiciones p y q, se denomina conjuncin de estas
proposiciones a la proposicin compuesta p q (se lee "p y q"), cuya tabla de
verdad es:

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).
Es una operacin binaria.
Ejemplos
a) Sean las proposiciones
p: 5 es un nmero impar
q: 6 es un nmero par
Entonces la conjuncin entre p y q es

p q: 5 es un nmero impar y 6 es un nmero par

Se obtienen los siguientes valores de verdad:

V(p q) = V

V(~p q) = F

3. Disyuncin o Suma lgica

Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es la
proposicin p q (se lee p o q) cuya tabla de valores de verdad es:

p q p q

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

La disyuncin o es utilizada en sentido incluyente, ya que la verdad de la

disyuncin se da en el caso de que al menos una de las proposiciones sea
verdadera. En el lenguaje ordinario la palabra o es utilizada en sentido
incluyente o excluyente indistintamente. Para evitar toda posibilidad de
ambigedades, en matemtica se utiliza la disyuncin definida por la tabla
precedente, que muestra que la disyuncin slo es falsa cuando ambas
proposiciones son falsas, o bien, se utiliza la disyuncin excluyente para
interpretar otra situacin.
Ejemplo
Sean las proposiciones
p: 5 es un nmero impar y q: 6 es un nmero par
La proposicin compuesta que indica la disyuncin entre p y q es

p q: 5 es un nmero impar o 6 es un nmero par

El valor de verdad del enunciado compuesto anterior es

V(p q) = V

El valor de verdad del enunciado compuesto ~ p ~ q es V(~p ~q) = F

4. Implicacin o Condicional
Implicacin de las proposiciones p y q es la proposicin p q (si p entonces
q) cuya tabla de valores de verdad es:

p q p q

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

La proposicin p se llama antecedente, y la proposicin q se llama

consecuente de la implicacin o condicional. La tabla nos muestra que la
implicacin slo es falsa si el antecedente es verdadero y el consecuente es
falso.

Sean las proposiciones

p: Jos es mendocino y q: Jos es argentino
La proposicin compuesta p implica q es

p q: Si Jos es mendocino, Jos es Argentino

V(p q)= V

V(p ~q)= F

V(q p)= F

Expresiones sinnimas

pq
Si p entonces q
Si p, q
Todo p verifica q
p implica q
p slo si q
q si p
q cuando p

Si adems V( p q ) =V, se dice que

p es condicin suficiente para q y q es condicin necesaria para p

Ejemplo
a) Sean las funciones proposicionales
r (x): x > 2
s (x): x2 > 4
El enunciado si x > 2 entonces x2 > 4, es una proposicin verdadera, por lo cual
r es condicin suficiente para s, y s es condicin necesaria para r.

El enunciado si x2 > 4 entonces x > 2, es una proposicin falsa, por lo cual s no

es condicin suficiente para r, y r es condicin necesaria para s.

b) Sea la funcin proposicional 2x + 5 13, Es x 0 una condicin necesaria,

suficiente, o necesaria y suficiente para que la proposicin sea verdadera?
c) La siguiente implicacin es verdadera:
"Si el tringulo T es equiltero, entonces T es issceles"
En este caso, se tienen las proposiciones
p: T es tringulo equiltero y
q: T es tringulo issceles

La proposicin p es condicin suficiente para q, es decir, que un tringulo sea

equiltero es suficiente para asegurar que es issceles. Por otra parte, T es
equiltero slo si es issceles; es decir que un tringulo sea issceles es
necesario para que sea equiltero.

Implicaciones asociadas

Dada la implicacin p q, que llamaremos directa, existen varias

implicaciones asociadas, una de ellas es la implicacin contrarrecproca ~q
~p. Haciendo la tabla de verdad

p q p q ~p ~q ~q ~p

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

se observa que los valores de verdad de las implicaciones p q y ~q ~p

son iguales. Se dice que las implicaciones contrarrecprocas son equivalentes,
es decir, tienen el mismo valor de verdad.

Cmo son los valores de verdad de la implicacin p q y de la denominada

implicacin recproca q p?
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") cuya tabla de valores de verdad es

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 (p q) (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

Ejemplo
Sea el enunciado
a = b si y slo si a = b
donde a y b son nmeros reales cualesquiera.

Se observa que el enunciado est compuesto por las proposiciones:

p: a = b y q: a = b

Como V(p q) =V y V(q p) = F, entonces V(p q) = F

OBSERVACIN

La doble implicacin p q, es una operacin equivalente a la conjuncin de

las implicaciones

(p q) (q p)

Si V(p q) = V, entonces V(p q) = V y V(q p) = V. Se tiene, observando

el valor de verdad de la primera implicacin, que p es condicin suficiente para
q y, teniendo en cuenta la segunda implicacin, ocurre que p es condicin
necesaria para q.

Es decir, si V(p q) = V, entonces p es condicin necesaria y suficiente para q

y, anlogamente, q es tambin condicin necesaria y suficiente para p.

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 la proposicin compuesta 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 compuesta ~p q, su tabla de verdad

es
 p ~p q ~p q

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

Se observa que las tablas de valores de verdad de ambas proposiciones son

iguales. Se dice que ambas proposiciones son lgicamente equivalentes, y en
este caso particular lo simbolizamos:

(p q) (~p q)

Clasificacin de proposiciones: Tautologa, contradiccin y contingencia

Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo

denominamos frmula lgica.

Por ejemplo,

~ { (p q) (s t) }

Si al evaluar una frmula lgica, resulta que todos los valores de verdad son
siempre verdaderos para cualquier combinacin de los valores de verdad de
las proposiciones componentes, se dice que dicha frmula es una Tautologa o
Ley lgica.

Ejemplo

Analizando la proposicin p ~p mediante la tabla de verdad, se tiene:

p ~p p ~p

V F V
F V V
Se observa que para cualquier combinacin de las proposiciones p y su
negacin ~p, la proposicin p ~p es siempre verdadera. Luego, la proposicin
compuesta p ~p es una tautologa.

Ejemplo

Sea la frmula lgica { ( p q ) p } q

La tabla de valores de verdad es:

p q pq {(pq)p} q

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

Se observa que, independientemente de la combinacin de valores de verdad

de las proposiciones p y q, el resultado de la frmula lgica es siempre
verdadero. Esta frmula es una tautologa.

Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores resulta

que para cualquier valor de verdad de las proposiciones intervinientes el
resultado de dicha frmula es siempre falso, se dice que dicha frmula es una
Contradiccin.

Ejemplo

Analicemos la frmula lgica p ~p

p ~p p ~p

V F F
F V F

La frmula es siempre falsa, es una Contradiccin.

NOTA: Si una proposicin no es una tautologa ni una contradiccin (es decir
que contiene al menos un valor V y otro F) es una Contingencia.

Ejercicios resueltos

1. Analizar las siguientes expresiones

a) 7 + 5 = 20
b) Eres un estudiante de matemtica?
c) X + 5 = 8
d) El da esta fro.
e) cierra la puerta!
Solucin

a) 7 + 5 = 20, es una expresin cuyo valor de verdad es falsa. Luego es una

proposicin.
b) Eres un estudiante de matemtica?, es una pregunta que se hace, carece de
valor de verdad, es decir, no se puede afirmar si es verdadero o falso, luego no
es una proposicin.
c) X + 5 = 8, es un enunciado abierto o funcin proposicional por que tiene
variable
d) El da esta fro, es una proposicin que puede ser verdadera o falsa
e) cierra la puerta!, es una orden. Luego no es una proposicin.

2. Sean las proposiciones p, q, r, cuyos valores de verdad es V, F y F. hallar el valor

de verdad de las siguiente proposiciones compuestas:
 Bibliografa

CABRERA, Mnica. Como aplicar Metodologa Activa en la Clase de

Matemtica, Editorial PUCP, Lima, 2002
PALACIOS PEA, Joaqun. Didctica de la Matemtica, Editorial San
Marcos, Lima 2003
CARRANZA, Cesar Matemtica Bsica. Publicacin de CONCYTEC,
Lima, 1992.
FIGUEROA G. Ricardo Matemtica Bsica. Edit. Amrica, Lima, 2002.
LAZARO, Moiss Matemtica Bsica, Tomo I. Edit. Moshera S.R.L.,
Lima. 1998.
VENERO, Armando Matemtica Bsica. Edic. Gemar, Lima-Per, 1993.

Linkografia

https://www.gestiopolis.com/que-es-logica-proposicional/

https://engage.intel.com/docs/DOC-31450

https://www.ecured.cu/L%C3%B3gica_proposicional