I.

INTRODUCCIN


Al tratar de la lgica, es muy comn utilizar frases como: "Es lgico",
"hablando con lgica", o, "hay que ponerle lgica al asunto", las mismas
que pueden ser objetivamente reemplazadas por expresiones como: "Es
correcto", "hablando con correccin", y "hay que ponerle cuidado y
correccin al tema". Por tanto, la lgica trata sobre la correccin, y sta
Se refiere de alguna manera, al pensamiento. Y es en este sentido que
los tratadistas tradicionales definieron la lgica como la ciencia que
ensea a pensar correctamente.

Pero debemos distinguir entre el pensamiento como facultad y/o funcin
del pensamiento como producto. Pues, cuando utilizamos el trmino
"pensamiento" podemos significar, segn las circunstancias, la facultad
y/o funcin o el producto, lo que equivale a distinguir entre el pensar y lo
pensado. Por tanto, la lgica no trata sobre le pensamiento como
facultad y/o funcin, sino como resultado de la funcin de pensar, es
decir, de lo que generalmente llamamos en plural: pensamientos.
Consecuentemente, al abordar la lgica proposicional, debemos
reconocer que una proposicin es una cadena de palabras con sentido
completo, calificable de cierta o falsa, as, por ejemplo, en la proposicin:
"Sucre es la Capital de Bolivia". Si se mantienen independientes, son
proposiciones atmicas; pero si se relacionan con alguna conjuncin (u
otras partculas) el resultado es una proposicin molecular, por ejemplo,
Juan y Pedro son alumnos de Sistemas.






II. REVISIN LITERARIA

Lgica Proposicional O Lgica De Enunciados

La lgica es el estudio de los mtodos que aplican definiciones y leyes con el
propsito de determinar la validez o invalidez del razonamiento.

2.1. Enunciado: Frase u oracin que se utiliza en el lenguaje comn.
Ejemplos.
- T eres lo mximo
- 7 3 = 4
- Qu mujer tiene el mejor fsico?

2.2. Enunciado abierto:
Enunciado en el que intervienen una o ms variables, que admiten la
posibilidad de convertirse en una proposicin lgica, cuando cada variable
asume un determinado valor, tambin se le conoce como funcin proposicional
Ejemplo:
x
2
5 > 4
Es un enunciado abierto donde la variable es x y se puede denotar como P(x),
dando valores a la variable:
3
2
5 > 4.. (F)
6
2
5 > 4.. (V)
Se observa que el enunciado se convirti en una proposicin

2.3. Proposicin lgica: Expresin coherente que se caracteriza por el hecho
de poseer un nico valor de verdad (V) o falsedad (F) sin ambigedad, en un
determinado contexto.

Nota: Los mandatos, preguntas, exclamaciones, no son proposiciones lgicas,
ya que no se pueden calificar como verdaderas (V) o falsas (F).

Ejemplos:
2.3.1. Son proposiciones.-
a) Julio Cesar fue un general romano.
b) 2 + 2 = 5
c) 2
5001
+ 3, es un numero primo.
d) El nmero 10 es par y el nmero 13 es impar.
e) 3 5
f) 2
n
+ n, es un numero par para todo n e IN.
g) No es verdad que 5 sea un numero entero par o 7 un numero entero primo.
h) 2
n
= n
2
, para algn n e IN.

2.3.2. No son proposiciones.-
a) Ir directamente al teatro.
b) Dios mo aydame!
c) Por qu es importante el curso de matemtica I ?
d) Qu hora es?
e) Por favor, enve su informe a la brevedad posible.
f) Cundo se resolver algebraicamente una ecuacin de quinto grado?

2.3.3. Son ambigedades.-
a) Se remunera demasiado a los maestros.
b) Los mdicos son personas acaudaladas.
c) Las matemticas son divertidas.
d) los rboles son ms importantes que las ecuaciones.


Notacin.- A las proposiciones se les denota con las letras: p, q, r, s, t,.....;
etc.

Ejemplo:
- p: Toledo es huarasino
- q: 2 < 3
- r: Julio Csar fue un general romano

2.4 valor de verdad
Teniendo en cuenta la definicin de proposicin es posible establecer el valor
de verdad de una proposicin, el mismo que se esquematiza mediante la
siguiente tabla:







Esta tabla recibe el nombre de tabla de verdad de una proposicin.



2.5. Conectores Lgicos
Las proposiciones atmicas pueden combinarse de diferentes formas para
dar lugar a proposiciones moleculares. Los elementos que sirven para conectar
las proposiciones atmicas entre s se llaman conectores lgicos. Los
conectores lgicos nos dicen cmo afecta el valor de verdad de las
proposiciones atmicas al valor de verdad de las proposiciones moleculares.
En el lenguaje natural, la conjuncin 'y' funciona como un conector lgico.
Las conjunciones gramaticales adems el adverbio de negacin ( no)
llamamos tambin operadores o constantes , son los trminos bsico de enlace
entre proposiciones lgicas simples ,siendo las principales y , o ,
sientonces .. , ..si solo si... Segn el conectivo lgico presente que
posee mayor jerarqua dentro de la proposicin compuesta, esta adopta el
nombre respectivo del conectivo, sean p y q.


P
V
F









Tabla 1. Conectores bsicos de la lgica proposicional

2.6. Tabla De Verdad
Una tabla de verdad es una representacin esquemtica de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones
compuestas, las cuales dependen de los conectivos utilizados y de los valores
de verdad de sus proposiciones simples.
En la elaboracin de una tabla de verdad, los trminos de enlace tales como la
negacin (~), la disyuncin (V) y la conjuncin () se consideran conectores
fundamentales; por tal razn, sus valores de verdad constituyen base para
establecer bajo qu condiciones una proposicin compuesta es verdadera o
falsa.
2.6.1. Reconstruccin de la tabla de verdad:
Para determinar el valor de verdad de una proposicin compuesta es
necesario elaborar la correspondiente tabla de verdad; para tal fin y
mediante el siguiente ejemplo se enuncian los pasos a seguir:

Ejemplo 1. Construir la tabla de verdad para la proposicin : ~(p q)


CONECTOR

SIMBOLO
y ^
o
V
no
si entonces
si y solo si,

.. Equivalente,..
Paso 1. Se hace un recorrido de izquierda a derecha teniendo en cuenta
los parntesis.
Pas 2. Se identifica el conectivo que aparece dentro del parntesis, en
este ejemplo la conjuncin.
Pas 3. Se precisa el trmino de enlace que precede al parntesis, en el
ejemplo la negacin.
Pas 4. Se elabora la tabla con el nmero de columnas determinado
por:
Proposiciones que intervienen
Conectivos utilizados dentro del parntesis
Conectivo utilizado fuera del parntesis.
La siguiente tabla ilustra el paso 4:



Pas 5. Se fijan los valores de verdad en las columnas de las
proposiciones p y q. Se ilustra en la siguiente tabla:

Pas 6. Se completa la tabla por columnas, teniendo en cuenta el
conectivo y el valor de verdad de cada proposicin simple. La
finalizacin de la elaboracin de la tabla de verdad es:



2.7. Clases De Proposiciones:
Hay dos clases de proposiciones: Las que tienen un solo enunciado se llaman
simples o atmicas y las que estn formadas por varios enunciados se llaman
compuestas o moleculares.
2.7.1. Proposiciones Simples o Atmicas.- Las proposiciones se representan
simblicamente mediante el uso de letras minsculas del alfabeto, las cuales
reciben el nombre de letras o variables proposicionales, de esta forma, el
lenguaje proposicional se hace ms simple y exacto que el lenguaje natural.
Ejemplo:
p: Hoy es sbado.
q: Yo estudio Ingeniera.
r: New York es llamada la capital del mundo.
s: 1 no es un nmero primo.
x: 4 + 3 = 10.

2.7.2. Proposiciones compuestas o moleculares.-
Las proposiciones compuestas son tambin combinaciones de proposiciones
simples, las mismas que se obtienen relacionndolos con la utilizacin de los
conectivos lgicos, los cuales se estudian a continuacin.


Ejemplos:
Las rosas son rojas y tienen espinas.
La seleccin Colombia gan o perdi?
En el pas no hay violencia.
Si estudio lgica computacional entonces ser un destacado
ingeniero
4 es un nmero par si y slo si se puede dividir por 2.
Estas expresiones se denominan oraciones y para su formacin se utilizaron
las letras y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar
los enunciados.

2.8. Proposiciones Compuestas Bsicas.-
2.8.1. LA NEGACIN.- la negacin invierte el valor de verdad de la
proposicin negada, tal y como se establece en la siguiente tabla:
p
~p
V
F
F
V
Es decir, que cuando p es verdadera, 'p es falsa, y cuando p es falsa,
'p es verdadera.
2.8.2. CONJUNCIN.- Es la combinacin de dos enunciados
mediante la palabra y . Simblicamente se denota la conjuncin de los
enunciados p y q por:
p . q
Ejemplo:
Si p = Est lloviendo y q = Hace fro
Entonces p . q = Est lloviendo y hace fro.
El valor de verdad del enunciado compuesto p . q, satisface la siguiente regla:
Regla n 1.- Si p es verdadero y q es verdadero entonces p . q es verdadero;
en los dems casos, p . q es falso.
Una manera de expresar mediante una tabla la regla No 1 es la siguiente:

p q p . q
V
V
F
F
V
F
V
F
V
F
F
F


2.8.2. DISYUNCIN.- Es la combinacin de dos enunciados mediante la
palabra o.
Simblicamente se denota la disyuncin de los enunciados p y q por: p v q
Ejemplo:
Si p = Jos estudia Complementos de matemtica en la Universidad y

q = Jos estudia lenguaje en la Universidad
Entonces pv q = Jos estudia Complementos de Matemtica o lenguaje en la
Universidad.
2.8.2.1.La Disyuncin se clasifica en:
LA DISYUNCIN INCLUSIVA.- Cuando se combinan las proposiciones p y q
con la palabra o incluyente o dbil, o sea de alguna manera se cumplen
ambas alternativas; se denota por: pv q


Ejemplo:
Sean p = El nmero 10 es un nmero par y
q = El nmero 10 es divisible por 2
Entonces p v q = El nmero 10 es par o divisible por 2.

El valor de verdad de la Disyuncin inclusiva cumple con la siguiente regla:

REGLA N 1: La Disyuncin inclusiva es verdadera si al menos una de las
proposiciones componentes es verdadera en los dems casos es falsa.
Mediante Tabla de Verdad:

p q p v q
V
V
F
F
V
F
V
F
V
V
V
F



LA DISYUNCIN EXCLUSIVA.- Cuando se combinan las proposiciones p y q;
mediante la palabra o excluyente o fuerte, esto es cuando se cumple una de
las alternativas. Se denota por: p A q



Ejemplo:
Sean p = Cesar Vallejo es Poeta.
q = Cesar Vallejo es Ingeniero
Entonces p q: Csar Vallejo es poeta o ingeniero
El valor de verdad de la disyuncin exclusiva cumple con la siguiente regla:

REGLA N 2.- La disyuncin exclusiva es verdadera cuando solamente una de
las proposiciones componentes es verdadera y es falsa cuando ambas
componentes tienen el mismo valor (dos verdaderas o dos falsas). Su tabla de
verdad es:

p q p A q
V
V
F
F
V
F
V
F
F
V
V
F


2.9. CONDICIONAL (implicativa).- la implicacin o condicional de dos
proposiciones p y q es la proposicin compuesta mediante el conectivo lgico
si,.. Entonces,y se simboliza p q, donde el principio lgico es la
proposicin implicativa es falso nicamente en el caso que la proposicin p es
verdadera y la proposicin q es falsa, siendo verdadera en todos los dems
casos . su tabla de verdad es :


A
p q p q
V
V
F
F
V
F
V
F
V
F
V
V

Observacin:
- Una implicacin es verdadera si el antecedente es falso, cualquiera que
sea el consecuente.
- Una implicacin es verdadera si el consecuente es verdadero, cualquiera
que sea el antecedente.

2.10. BICONDICIONAL (equivalente o doble implicacin).- Otros enunciados
de suma importancia en la matemtica son de la forma: p si y solamente si q,
p equivalente a q; tales enunciados se llaman bicondicionales y se les denota
por: p q
Ejemplo:
Un nmero es divisible por 2, si y solo s, es par.
El valor de verdad del enunciado bicondicional satisface la siguiente regla:
REGLA N 1.- Si p y q tienen el mismo valor, entonces pq es verdadero, en
los dems casos pq, es falso.Dicha regla se puede esquematizar mediante
la siguiente tabla.




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

2.11. Proposiciones Compuestas
Mediantes los conectores lgicos se pueden combinar cualquier nmero finito
de proposiciones cuyos valores de verdad se pueden ser conocidos,
construyendo su tabla de verdad, en dicha tabla se puede indicar los valores
resultantes de estas proposiciones compuestas, para todas las combinaciones
posibles de valores de verdad de las proposiciones compuestas.
Ejemplo:
Hallar la tabla del verdad del esquema proposicional de: (p . q) q




p q (p . q) q
V
V
F
F
V
F
V
F
F F V V
V V F F
F F V V
V V V F

1 y 2 = operadores secundarios
1 3 2
3 = operador principal (MATRIZ
PRINCIPAL)

1 y 2 operadores secundarios
3 operador principal (matriz
principal)

2.12. Tipos De Proposicin
1. TAUTOLOGIA: un esquema proposicional es una tautologa si al evaluar
todas las posibles ordenaciones de los valores veritativos de las variables
proposiciones que la componen siempre resulta verdadero.
p q
~ ( p . q ) (~ p v ~ q)
V
V
F
F
V
F
V
F

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

2. CONTRACCION: es una contraccin, si al evaluar todas las
ordenaciones de los valores de verdad de las variables proposiciones que
la componen resultado falso.
p q ~ [ ( p . q ) ( q . p )]
V
V
F
F

V
F
V
F

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

3. CONTINGENCIA: un esquema proposicional es una contingencia, si su
tabla de verdad contiene al menos un verdadero y al menos un falso.
p q ( p q ) p
V
V
F
F

V
F
V
F

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

PROPOSICIONES EQUIVALENTES ().- A Y B son equivalentes cuando
unidos por la bicondicional () es una tautologa (a b).
Ejemplo:
(p) p

2.13. Equivalencias Lgicas.
Las siguientes proposiciones compuestas son tautologas que se utilizan con
mayor frecuencia en la demostracin de muchas propiedades matemticas;
por esta razn se denominan leyes lgicas. Dentro de estas, las ms
importantes son las siguientes:
a) Leyes de Idempotencia:

- p v p p
- p . p p

b) Leyes Conmutativas :

- p v q q v p
- p . q q . p
- p q q p

c) Leyes Asociativas :

- (p v q ) v r p v ( q v r )
- ( p . q ) . r p . ( q . r )
- ( p q ) r p ( q r )



d) Leyes Distributivas:

- p v ( q . r ) ( p v q ) . ( p v r )
- p . ( q v r ) ( p . q ) v ( p . r )
- p ( q . r ) ( p q ) . ( p r )
- p ( q v r ) ( p q ) v ( p r )

e) Leyes de Identidad:

- p v F p
- p v V V
- p . V p
- p . F F

f) Leyes del Complemento:

- p v ~ p V
- p . ~ p F
- ~ V F ; ~ F V
- ~ ( ~ p ) p

g) Leyes de Morgan:

- ~ ( p v q ) ~ p . ~ q
- ~ ( p . q ) ~ p v ~ q
- ~ (~ p . ~ q ) p v q
- ~ ( ~ p v ~ q ) p . q








h) Leyes del Condicional:

- p q ~ p v q
- ~ p q p . ~ q
- p q ~ q ~ p

i) Leyes de Bicondicional :

- ( p q ) ( p q ) . ( q p )
- ( p q ) ( p . q ) v ( ~ p . ~ p )
- ( p q ) ( p . ~ q) v ( q . ~ p ).

j) Leyes de Absorcin :

- p . ( p v q ) p
- p . ( ~ p v q ) p . q
- p v ( p . q ) p
- p v (~ p . q) p v q.

Todas las leyes lgicas presentadas, son tautologas, las que se pueden
comprobar construyendo sus correspondientes tablas de verdad.
Para el desarrollo de algunos ejercicios en algunos casos es necesario tener en
cuenta las siguientes equivalencias lgicas (tautologas):

[(p . q ) r] [p (q r )] Ley de exportacin.
(p q ) [(p . ~ q ) F ] Ley de reduccin al absurdo.
[(p r ) . ( q r )] [(p v q ) r]
[(p q ) . ( p r )] [p ( q . r )]



2.14. Circuitos Conmutadores:
Son circuitos elctricos que constan de interruptores para el paso de la corriente
elctrica. Si p y q son interruptores que dejan pasar la corriente, entonces p y
q no dejaran pasar la corriente: stos se podrn colocar ya sea en serie o en
paralelo.
EN SERIE:

EN PARALELO:


Falta circuito lgico y ejercicios












III. REFERENCIA BIBLIOGRAFIA

- LEON, S.KALEB. Aritmtica; Edit. Por ing. Darlym Retegui Daz .tingo
mara, Per. Editorial cepre UNAS. Pg. 7-.20


- ESPINOZA, R. EDUARDO .2012. Matemtica Bsica.3d.Lima, Per. P. 1-
29


- ALONSO, J.JOSE A .2004.Formalizacin En Prolog De La Lgica
Proposicional. Sevilla, Espaa.

- www.matematica1.com

- LA_LOGICA_pdf.