INTRODUCCIN A LA LGICA

LGICA:
Es una ciencia que estudia los procesos del razonamiento mediante el anlisis del
lenguaje.

LGICA MATEMTICA:
Estudia los procesos del razonamiento (la validez o no) usando mtodos matemticos.
ENUNCIADO:
Se llama as a toda frase u oracin.
En algunos casos pueden ser verdaderas o falsas; pero en otros casos pueden ser
exclamaciones, interrogaciones o mandatos. Ejemplos:

1) Cmo se llama aquella joven?

2) Aleluya!
3) As es la vida, qu le vamos a hacer.

PROPOSICIN: Es aquel enunciado que tiene la propiedad de ser verdadera o falsa

pero no ambas a la vez. Las proposiciones se simbolizan con letras minsculas: p, q, r,
s, t.
Veamos otros ejemplos:
p: 2 + 2 = 4; r: (2n +2) es un nmero par n 0
q: 5 + 4 < 8 + 7; t: (2n+1) es un nmero impar n 0
r: Pars es la capital de Espaa.

PROPOSICIN SIMPLE (o atmica):Son aquellos enunciados que constan de un

solo sujeto y un solo predicado, no presentan por ello conectivo lgico alguno.
Ejemplos:

(1) 4 = 5 F
(2) Existen seres en Marte F Valores de
(3) Todos los tringulos son cuadrilteros F Verdad
(4) Homero fue un historiador griego V

PROPOSICIN COMPUESTA (o molecular):

Son aquellas qu estn formadas por dos o ms proposiciones simples, se les llama
tambin moleculares o coligativas; por ello usa conectivos lgicos.
Ejemplos:
(1) Si 3 es un nmero primo entonces 9 es tambin nmero primo.
(2) Todos los tringulos son equilteros y equingulos.
(3) Si Pedro llega temprano, entonces dar un buen examen.
OPERACIONES CON PROPOSICIONES
CONJUNCIN:
La proposicin conjuntiva resulta verdadera nicamente cuando las dos
proposiciones coligativas p y q son verdaderas, en cualquier otro caso es falsa.
NOTA:
Hay palabras como
pero, sin embargo,
P Q pq adems, aunque, no
V=1
obstante, a la vez, etc.
F=0
V V V que tambin unen
proposiciones
V F F conjuntiva-mente y se
F V F pueden simbolizar por .
F F F

DISYUNCIN DBIL O INCLUSIVA:La disyuncin es verdadera si y slo si por lo

menos una de las dos proposiciones es verdadera. simboliza p q y se lee p q.
Se define mediante la tabla.
P .q pq

V V V V=1
F=0
V F V
F V V
F F F

DISYUNCIN EXCLUSIVA O FUERTE:

Si p y q son 2 proposiciones cualesquiera, la disyuncin fuerte p y q se
simboliza como p q y se lee p q pero no ambas.

P .q pq V=1
F=0
V V F
V F V
F V V
F F F
CONDICIONAL: Tendr un valor de verdad falso cuando el antecedente p es verdadero
y el consecuente q es falso; en los dems casos es verdadero. La condicional se denota
por p q y se lee si p, entonces q.

P .q pq NOTA:
V=1
Tambin son conectivos
F=0
V V V condicionales los trminos
porque, puesto que, ya
V F F
que, si, cuando, cada vez
F V V que, etc
F F V

BICONDICIONAL:
Si p y q representan dos proposiciones cualesquiera la bicondicional se denota por
p q, se lee p si slo si q. Se define mediante la tabla.

p Q p q

V V V V=1
F=0
V F F
F V F
F F V

NEGACIN: Si p representa una proposicin cualquiera, p representa la negacin

de p y se lee no p, siendo definida por la tabla:

P p V=1
F=0
V F
F V

CUANTIFICADORES :
Son smbolos que permiten evaluar una funcin proposicional
a) CUANTIFICADOR UNIVERSAL:Utiliza el smbolo ; se lee: para todo.
La funcin proposicional junto con el cuantificador universal, suele escribirse de
diferentes formas:x: P(x) x/ p(x) ( x) [ p(x) ] que se lee:para todo x, tal
que, se verifique p(x).
Ejemplo:x B : X +4 > 9 ; B = {6,7,8
b) CUANTIFICADOR EXISTENCIAL:
Se simboliza por y se lee : existe por lo menos un.
La funcin proposicional junto con el cuantificador existencial suele escribirse de la
siguiente manera:
x : P(x) x/ p(x) (x) [ p(x) ] y se lee: existe por lo menos un
x, tal que se verifique p(x).Ejemplo:x B / X +4 > 9 ; B = {4,5,,8 .

EJERCICIOS PROPUESTOS:

1. Encuentre la tabla de verdad de cada proposicin:

a p q r , b p q r , c p r q r

2. Demostrar, por la tabla de valores o por el mtodo abreviado, si los esquemas

representan o no reglas de inferencia vlida.
(a) Las rosas son rojas
Las rosas son azules.
.................................................
Por lo tanto, las rosas son rojas si y slo si son azules.
3. Si 1,2,3, analizar la validez de cada uno de los siguientes enunciados:

a) x : y : x 2 y 1 b) x : y : x 2 y 2 12

c) xyz : x 2 y 2 2 z 2 d) xyz : x 2 y 2 2 z 2
INDUCCION MATEMATICA:
Sea P(n) una proposicin matemtica abierta (o un conjunto de tales proposiciones abiertas), en
la que aparece una o varias veces la variable n, que representa a un entero positivo.
n n0 , P(n), en donde n 0 es algn entero fijo. Es decir se desea demostrar que P(n) es verdad
Para todos los valores de n n0 .
a) P (n0 ) es verdad y
b) Siempre que P(k) sea verdadera para algunos valores de k n0 (para algn k Z particular,
pero elegido al azar), entonces P(k+1) ser verdadera;
entonces P(n) es verdadera para todo n n0 ( n Z ).
Luego se tiene que demostrar que P(k) P(k+1) es una tautologa para cualquier seleccin de
k n0 .
Observacin: La parte
(a) se conoce como Paso Base de la induccin. (b) se conoce como Paso de Induccin.

EJERCICIOS:
A) 32 n 3 2 n 3 7
5n n 1
B) 5 10 15 ........ 5n
2
sen( 2n )
C) (cos )(cos 2 )(cos 4 )(cos 8 )...[cos( 2 n 1 )] ,donde n z y sen 0.
2 sen
n