LGICA PROPOSICIONAL

1. INTRODUCCIN
1.1. NOCIN DE LGICA
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.
Este proceso de pasar de un conjunto de premisas a una conclusin se llama
deduccin o inferencia. 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. Las leyes lgicas nos permiten saber si una inferencia es
vlida o no.
La lgica es una ciencia que estudia los mtodos y las leyes que determinan
la validez de la inferencia.
1.2. LENGUAJE LGICO
Es un lenguaje simblico. Este lenguaje es preciso, exacto y universal, porque
tiene una sola interpretacin y su significado es nico para todos. El lenguaje
simblico es convencional, artificial y slo puede expresarse por escrito. Por
ejemplo:
1) 2 + 3 = 5 : p
2) ( p . q ) ~ r

Desde este punto de vista, el lenguaje lgico o simblico es puramente formal,
independiente de todo contenido semntico. Por ejemplo en el anlisis lgico de un
razonamiento o inferencia se toma en cuenta nicamente la estructura formal de las
proposiciones y que estas en el interior de la inferencia estn unidas mediante
trminos llamados conectivos o trminos de enlace y, ser vlida o invalida
solamente en funcin de su forma lgica.
El objetivo definido de la lgica es el anlisis formal de los razonamientos, a
su vez esto tiene la finalidad de deslindar la validez o invalidez de la inferencia.
1.3. PROPOSICIONES
Es un enunciado que puede ser falso o verdadero, pero no ambas cosas a la
vez. La proposicin es un elemento fundamental de la lgica matemtica;
generalmente se las expresa en oraciones declarativas o aseverativas.


REPRESENTACION SIMBOLICA DE LAS PROPOSICIN
Definicin.- Son variables proposicionales las letras minsculas: p, q, r, s, t, etc,
as como p
1
, p
2
, p
3
, p
4
, etc. que tienen la funcin de representar a cualquier
proposicin elemental.

Ejemplos: p : El gato es un animal mamfero. (......)
q : 20 es divisible por 6. (......)
r : 5 es un nmero primo. (......)
OBSERVACINES:
1) Como a toda proposicin le asignamos la propiedad de ser verdadero o falso, o
sea es bivalente; entonces convenimos en representar mediante diagramas el
rbol o en tablas de valores:
Una proposicin tiene 2 posibilidades de valor de verdad, es decir de ser
verdadero o falso, o sea 2
1
:
V p
p V
F F
Dos proposiciones tendrn 4 posibilidades de valores, o sea 2
2
:
q V p q
V F V V
p V F
F V F V
F F F

Tres proposiciones tendrn 8 posibilidades de valores de verdad, o sea 2
3
:
En general para n proposiciones : p
1
, p
2
, p
3
, . . . , p
n
; el nmero total de
formas posibles en que pueden presentarse los valores, es 2
n
.
2) Las expresiones exclamativas, interrogativas, las rdenes y las que tienen variables
o incgnitas no son proposiciones.
3) La verdad lo podemos representar tambin con 1 la falsedad con cero (0) de una
proposicin puede ser identificado o comparado tambin con el paso o la
interrupcin de corriente elctrica a travs de un circuito elctrico( Es un conjunto de
interruptores conectados entre si que facilitan o interrumpen el paso de la corriente
segn que cada interruptor este cerrado o abierto respectivamente)
2. DESARROLLO
2.1 OPERACIONES LOGICAS
Combinando las proposiciones simples con los conectivos lgicos determinamos
las operaciones lgicas: La negacin, la conjuncin, la disyuncin, la condicional y la
bicondicional. A cada una de las operaciones lgicas le asignamos una tabla de
valores.
NEGACION.- Dada una proposicin simple representado por p, su negacin es otra
proposicin compuesta representado por ~ p y que se lee no p no es cierto que
p; y est definida por la siguiente tabla:
p
~ p
V
F
F
V

Ejemplo: p: 8 es un nmero par; ( V ); su negacin es:
~ p: 8 no es un nmero par; ( F ), o
No es cierto que 8 es un nmero par
CONJUNCION.- Dadas dos proposiciones simples p y q, unidas por el conectivo
lgico y, forman la proposicin compuesta llamada conjuncin de p y q,
representada por p . q y se lee p y q; definida por la siguiente tabla de valores:

Es decir p . q es verdadera slo cuando p y q son verdaderas, y si al menos
una de las proposiciones es falsa, entonces p . q tambin es falsa.
p
q
p . q
V V V
V F F
F V F
F F F

Ejemplo:

El valor de verdad o falsedad de la siguiente proposicin: No es cierto que los
nmeros primos son impares y 8 es mayor que 6.
Sol. Identificando r : Los nmeros primos son impares ( F )
s : 8 es mayor que 6 ( V )
~ ( r . s) : ( V )
En el lenguaje ordinario hay trminos que tambin unen proposiciones y se
representa con ., estos son: pero, sin embargo, adems, aunque, no obstante,
a la vez, tambin, empero, tanto como, a menos que, etc.
La proposicin conjuntiva p . q lo identificamos con los circuitos elctricos
diseados en serie:
Se observa cuando los interruptores estn cerrados pasa corriente y el foco se
prende, lo representamos con uno (1), cuando el interruptor est abierto no pasa
corriente y el foco est apagado y lo representamos con cero (0). El diseo:

LA DISYUNCION.- Dadas dos proposiciones simples p y q, unidas por el conectivo
lgico o, forman la proposicin compuesta llamada Disyuncin, se lee p o q.
Ejemplos: a) Felipe es profesor o es estudiante de ingeniera.
p q
b) Sean: p : El nmero 2
7
es impar,
q : El nmero 2
7
es par,
p q : El nmero 2
7
es impar o es par.
Analizando los ejemplos anteriores: La verdad de que Felipe sea profesor no
excluye que sea estudiante de ingeniera; la verdad de que 2
7
sea impar, excluye
que sea par.
Lo anterior nos permite que, en la disyuncin haya que distinguir dos
interpretaciones que es conveniente considerarlos:

DISYUNCION INCLUYENTE.- La disyuncin p o q lo representamos por p v q,
cuyo valor de verdad est definido por la siguiente tabla de valores:
Es decir, p v q es verdadera si por lo menos una de las proposiciones
componentes es verdadera. Slo ser falsa si ambas son falsas.
p q p v q
V V V
V F V
F V V
F F F
La proposicin disyuntiva p v q lo identificamos con un circuito elctrico instalado
en paralelo:
En donde si los dos interruptores estn cerrados pasa corriente y se prende el
foco, de igual modo si uno de ellos est cerrado pasa corriente y se prende el foco,
solo si los dos estn abiertas no pasa corriente y el foco est apagado.
Ejemplo:
Determine el valor de verdad de la siguiente proposicin:
12 es mltiplo de 3 5 es nmero par
Sean: p: 12 es mltiplo de 3, ( V )
q: 5 es nmero par, ( F )
Luego: p v q : ( V )
DISYUNCION EXCLUYENTE.- La disyuncin o p o q lo consideramos por p A q,
cuyo valor de verdad est definido por la siguiente tabla de valores:
La disyuncin exclusiva p A q, es verdadera cuando slo una de las
proposiciones componentes es verdadera y en cualquier otro caso es falsa.
p q p A q
V V F
V F V
F V V
F F F
Ejemplo:
Determine el valor lgico de la disyuncin siguiente:
Gabriel Garca Mrquez es chileno o es venezolano
Sean: p : Gabriel Garca Mrquez es chileno, ( F )
q : Gabriel Garca Mrquez es venezolano, ( F )
luego p A q : ( F )
EL CONDICIONAL.- Dadas las proposiciones p y q, la condicional de p a q en ese
orden es la proposicin compuesta representada por p q, que se lee si p
entonces q; donde p es el antecedente y q es el consecuente, definida por la
siguiente tabla de valores:
La proposicin condicional p q es Falsa slo si el antecedente p es
verdadera y el consecuente q es falsa; y es siempre verdadera en los otros
casos.
p q p q
V V V
V F F
F V V
F F V

Ejemplo
Si hoy viajo a Lima entonces hoy falto a la universidad.
p q
Afirmo que en el caso que viajo a Lima, necesariamente no asisto a la
universidad, es decir si el antecedente ocurre, el consecuente debe cumplirse. De
hecho, la proposicin solo ser falsa cuando sea verdad que viaje y no falte a la
universidad; es decir, si el antecedente es verdadero y el consecuente falso.
La condicional es equivalente a varios trminos como: puesto que, ya que,
pues, si, supone, porque, siempre que, condicin necesaria, slo si, solamente
si, luego, por lo tanto, si p, q, condicin suficiente, etc; las subrayadas o negritas se
caracterizan porque despus de cada uno de estas conectivas est el antecedente.
Ejemplo:
a) Carlos estudiara en la universidad si aprueba el examen de admisin
Sea p : Carlos aprueba el examen de admisin
q : Carlos estudiara en la universidad
luego : p q.
b) El sol es un planeta puesto que es un astro del sistema planetario solar
Sean: p : El sol es un astro del sistema planetario solar
q : El sol es un planeta
luego : p q
La condicional p q puede ser ledo de las siguientes maneras:

q". si solamente p " 8.

q". s slo p " 7.
p". si q " 6.
p". es q para suficiente condicin Una " 5.
q". para suficiente condicin es p ." 4
q". es p para necesaria condicin Una 3."
p". para necesaria condicin es q " 2.
q". entonces p, " . 1
.
Si
q p

En matemtica la condicional p q tiene mucha importancia debido a que
la mayora de sus teoremas son proposiciones de este tipo. En este caso, al
antecedente p se le llama HIPOTESIS, que se considera verdadera y al
consecuente q TESIS o CONCLUSION, lo que se quiere demostrar.
Teorema: p q
Hiptesis Tesis
La demostracin de un teorema de este tipo es demostrar que p q sea
verdadera, como p (la hiptesis) es verdadera, bastara demostrar que q (la tesis)
sea verdadera.
A cada condicional p q se le asocia otros tres que se obtienen
permutando el antecedente con el consecuente y sus negaciones, como lo indica el
siguiente cuadro :
a) Directo : p q
b) Recproco : q p
c) Contrario : ~ p ~ q
d) Contrarecproco : ~ q ~ p

Ejemplo Como todo arequipeo es peruano podemos expresar mediante la
condicional:
a) Si Luis es arequipeo, entonces es peruano.
b) Que Luis sea peruano es condicin necesaria para que Luis sea arequipeo.
c) Una condicin necesaria para que Luis sea arequipeo es que Luis sea
peruano.
d) Que Luis sea arequipeo es condicin suficiente para que Luis sea peruano.
e) Una condicin suficiente para que Luis sea peruano es que Luis sea
arequipeo.
Enunciar el recproco, el contrario y el contrarrecproco del siguiente condicional:
El directo:
Si el tringulo es equiltero, entonces el tringulo es issceles.
El recproco:
Si el tringulo es issceles, entonces el tringulo es equiltero.
El contrario o inverso:
Si el tringulo no es equiltero, entonces el tringulo no es issceles.
El contrarrecproco:
Si el tringulo no es issceles, entonces el tringulo no es equiltero.

EL BICONDICIONAL .- Dadas dos proposiciones p y q, a la proposicin compuesta
(p q) . (q p), llamaremos la bicondicional de p y q, y representaremos por p
q, que se lee p si y slo si q o p es condicin necesaria y suficiente para q;
definida por la siguiente tabla :
Es decir p q es verdadera si las proposiciones p, q tienen los mismos
valores y es falsa cuando p y q tienen valores diferentes o contrarios.
p q p q
V V V
V F F
F V F
F F V
La bicondicional es equivalente a los trminos: cuando y slo cuando,
entonces y slo entonces, es una condicin necesaria y suficiente. si y
solamente si.
Ejemplos:
a) 144 es divisible por 6 si y solamente si 3 es divisor de 16: ( F )
q t
( V ) ( F )
EJERCICIOS
1. Sean las proposiciones
p : La luna es un satlite,
q : El sol es un planeta,
r : El agua hierve a 100 C.
Escribir en el lenguaje comn las siguientes proposiciones:
a) ~ ( p v q ) b) ~ p . ~ q c) ( r v ~ p ) . ( ~ q A r )
SOLUCIN
a) ~ (p v q ) : No es cierto que la luna es un satlite o el sol es un planeta
b) ~ p . ~ q: La luna no es un satlite sin embargo el sol no es un planeta
c) ~ (q A ~ r): No es cierto que o el sol es una planeta o el agua no hierve a 100 C.
2. Sean las proposiciones:
p : 5 es nmero primo,
q : 7 es un cuadrado perfecto,
r : Todo nmero primo es impar.
Establecer el valor de verdad de las proposiciones siguientes:
a) ~ ( p v q ) b) ~ q A r c) ~ ( ~ r v q ) A ~
SOLUCIN
a) ~ ( p v q ) b) ~ q A r c) ~ ( ~ r v q ) A ~ p
~ V v F V F V v F
F V F F
F
3. Hallar la tabla de valores de las siguientes proposiciones compuestas :
a) ~ p (p v q) b) ~ q ~ p c) (p . ~ q) (~ p v q)
d) [(p q) . (q r)] A ~ q e) [(~ p r) (q r)] (p v ~ q)
SOLUCIN
a) b) c)
p q ~ p ( p v q ) ~ q ~ p ( p . ~ q ) ( ~ p v q)
V V F V V F V F V F F V F V V
V F F V V V F F V V V F F F F
F V V V V F V V F F F V V V V
F F V F F V V V F F V V V V F
d) e)
p q r [(p q) . (q r)] A ~ q [(~ p r ) ( q r )] ( p v ~ q)
V V V F F F F F F V V V V V
V V F F F F V V F V F F V V
V F V F F V V F F V V V V V
V F F F F V V V F V V V V V
F V V V V V V F V V V V F F
F V F V F F V V V F V F F F
F F V V V V V F V V V V V V
F F F V V V F V V F V V V V
PROBLEMA 1
Verificar si la siguiente secuencia de proposiciones es vlida o no.
Si 2 es primo, entonces 3 es primo.
Si 4 es par, entonces 3 no es primo.
4 es par.
Luego, 2 no es primo.
Solucin: Simbolizando este razonamiento se escribe as: p: 2 es primo
q: 3 es primo
r: 4 es par
Premisa 1: p q
Premisa 2: r ~ q
Premisa 3: r
Conclusin: ~ p
La validez de este razonamiento lo probamos evaluando su tabla de valores.
p q r [( p q ) . ( r ~ q ) . r ] ~ p
V V V V F V F F F V V F
V V F V F F V F F F V F
V F V F F V V V F V V F
V F F F F F V V F F V F
F V V V F V F F F V V V
F V F V F F V F F F V V
F F V V V V V V V V V V
F F F V F V V V F F V V
Por consiguiente, el razonamiento es vlido, ya que su esquema lgico es una
tautologa
PROBLEMA 2
Simbolizar la siguiente proposicin: El campeonato no dio sorpresas y los
aliancistas ganaron la copa, si y solo si o los universitarios no participaron o los
aliancistas no ganaron la copa.
Sabiendo que la proposicin anterior es verdadera y los universitarios si
participaron, contestar las siguientes preguntas:
a) Dio sorpresas el campeonato?
b) Ganaron la copa los aliancistas?

Solucin: Sea p : El campeonato dio sorpresas
q : los aliancistas ganaron la copa
r : Los universitarios participaron
Entonces la proposicin es el siguiente esquema: (~ p . q) (~ r A ~ q)
Nos informan que v(r) = (V), es decir que v (~ r) = (F). Adems el esquema
bicondicional es verdadero por lo que hay dos casos:
i) (~ p . q) (~ r A ~ q) ii) (~ p . q) (~ r A ~ q); lo cual es correcto
? (F) (F) (V) (F) (V) (F) (F)
(V) (V) (F) (F)
( V )
El caso ( i ) es desechado, ya que no puede ser el v(q) sea (F) cuando ~ p . q es
verdadero; en el caso (ii) no hay problema, ya que v(~ r) es (F) y v(q) es (V).
4. CONCLUSIONES
La metodologa de trabajo de la Lgica nos sirve para examinar la
validez o invalidez aplicando una sistematizacin en los argumentos,
analizando por ende su estructura lgica, sin tener en cuenta el
contenido de lo que se ha argumentado, ni considerar siquiera el
lenguaje utilizado, adems de no contemplar el estado de realidad del
contenido
La Lgica es til para el estudio los distintos principios de
demostracin porque permiten comprobar que una afirmacin pueda
ser considerada como Vlida
Es importante la lgica proposicional para simplificar proposiciones
complejas mediante las leyes lgicas y tablas de verdad
5. REFERENCIAS BIBLIOGRFICAS
1. FIGUEROA G., Ricardo, Matemtica Bsica 1, 8va ed., Editorial Amrica, Lima-
Per, 2003, 699 pp.

2. LIPSCHUTZ, Seymour, Matemticas para Computacin, Editorial Calypso,
Mxico, 1983, 333 pp.

3. PROAO V., Ramiro, Lgica, Conjuntos y Estructuras, 2da ed., Quito-Ecuador,
1992, 242 pp.

4. BARRERO DE NUDLER, TELDA. Lgica dinmica: nociones tericas y ejercicios
con sus soluciones de lgica tradicional y simblica. Editorial Kapeluzs, Buenos
Aires.1969, 183 pp.