Professional Documents
Culture Documents
Unidad 1:
1.1
INTRODUCCIN A LA LGICA
LGICA PROPOSICIONAL
CONTENIDO:
1.
2.
3.
4.
5.
Este texto es original del libro Matemticas Fundamentales del profesor Guillermo Restrepo
, y , A , B , , ... , etc,.....
2.
Proposiciones y Argumentos
Proposicin
Una proposicin es una frase declarativa que puede ser afirmada o negada.
Las proposiciones se representan con letras minsculas como p, q, r ,
Por ejemplo:
p : La capital de Venezuela es Caracas.
q
: 9 es mltiplo de 3.
fueron ganadas por Pedro y Pedro won the elecctions son tres frases
diferentes que representan la misma proposicin. La proposicin es lo
afirmado por la frase y no depende de la gramtica ni del idioma en que se
exprese.
Las frases declarativas pueden ser proposiciones compuestas. Por ejemplo,
A Carolina le gusta trabajar pero no le gusta estudiar est formado por dos
proposiciones: A Carolina le gusta trabajar y A Carolina no le gusta
estudiar unidas con la conjuncin adversita pero. En trminos de valor
de verdad, significa que cada una de las dos afirmaciones es verdadera.
Otra forma de proposicin compuesta se forma con la disyuncin o :
Josefina sabe Ingls o Alemn . En este caso nada se afirma por separado
sobre la proposicin Josefina sabe Ingls y tampoco sobre la proposicin,
Josefina sabe alemn lo que se afirma es que por lo menos una de estas
proposiciones es verdadera. Un tercer caso de proposicin compuesta es
aquella en la cual tenemos una frase condicional si entonces .. . Si
usted saca mnimo 3.0 entonces gana el examen la expresin no afirma
que una de las dos proposiciones es verdadera, es decir, no afirma que
usted saca tres mnimo ni que usted gana el examen. Lo que afirma es
una relacin de dependencia entre las dos: si sucede la primera, entonces
sucede la segunda: es un enunciado condicional.
Argumento o Razonamiento
Un argumento es una coleccin de proposiciones, tal que, por lo menos una
de ellas, llamada conclusin, se deriva de otras que se denominan
premisas. Las cuales respaldan la veracidad de la conclusin.
Un argumento puede ser:
1.
2.
3.
3.
p, q, r ,...
4.
Nombre
Parntesis izquierdo
Parntesis derecho
Negacin
Uso en castellano
Disyuncin
Conjuncin
Condicional
Bicondicional
Cuantificador universal
o
y
Sientonces
Si y solo si
Para todo
Cuantificador
existencial
Smbolos
proposicionales
existe
no
p
v
f
f
v
q. 12 es divisible por 4
p : 3 es un numero impar
La conjuncin se forma as:
v
v
f
f
v
f
v
f
pq
v
f
f
f
v
v
f
f
v
f
v
f
pq
v
v
v
f
p q p q
p q p q
El smbolo
significa que las proposiciones compuestas son equivalentes,
es decir, tienen los mismos valores de verdad.
El condicional: Si p y q representan las proposiciones atmicas: p : Me
levanto temprano y q : Llego a tiempo a la clase entonces el condicional
queda as: p q : Si me levanto temprano entonces llego a tiempo a la
clase.
Esta frase condicional se puede expresar en el lenguaje natural de varias
maneras:
Si me levanto temprano entonces llego a tiempo a la clase.
Me levanto temprano slo si llego a tiempo a clase
Llego a tiempo a clase si me levanto temprano
Es necesario que llegue a tiempo a clase para que me levantara
temprano.
Es suficiente que me levante temprano para que llegue a tiempo a la
clase.
No es posible que me levante temprano y no llegue a tiempo a la
clase.
q
v
f
v
f
pq
v
f
v
v
q
v
f
v
f
pq
v
f
f
v
5.
Tautologas
p q p r
A B B A
A B B A
Las conmutativas
A A v
Ley del tercio excluido
Ley de la contradiccin A A f
Leyes de Identidad A f A
A v A
A v v
Leyes de dominacin
A f f
Leyes de Idempotencia
A A A
A A A
A B C A B C
Leyes distributivas A B C A B A C
A B C A B A C
A B A B
Proposiciones Abiertas
Hay frases muy usuales en matemticas que son proposiciones a las cuales
no se les puede asignar un valor de verdad nico porque contienen una
variable que sirven para representar cualquier nmero de un conjunto
numrico determinado llamado dominio de la variable, por ejemplo x es
un nmero par o x y 2 o Si m y n son nmeros pares entonces
m n es un nmero par. A este tipo de proposiciones las llamaremos
proposiciones abiertas.
6.1
Cuantificadores
x R x 2 0
x R x 2 3 0
x C y C x
y 0
Negacin de Cuantificadores
x R x 2
10
7.
Conjuntos
7.1
Definicin de Conjunto
x C y C x
y 0
x X / x A1 x A2 ... x An
i 1
11
x X / x A1 x A2 ... An .
in
A B c
A B c Ac B c .
y
comprobar estas reglas.
Ac B c
Se
deja
como
ejercicio
p
, donde
q
p y q son
12
fracciones
y
representan al mismo nmero racional, esto es,
b
n
b
n
s y slo s a.n b.m .
1 3 7
,
,
, .. y como cualquier nmero entero p
Son nmeros racionales
2 4
8
p
se puede representar como una fraccin
se concluye que todos los
1
nmeros enteros son racionales. Luego, se puede escribir N Z Q .
Los nmeros racionales tambin se pueden representar por medio de los
nmeros decimales finitos o peridicos. Es decir, todo decimal finito se
puede escribir como una fraccin. Por ejemplo, el decimal 3,456 se puede
3456
2
escribir as:
o el nmero 0,0002 se puede escribir as:
y los
1000
10000
decimales peridicos tambin se pueden escribir como una fraccin, por
1
ejemplo, de la fraccin
obtenemos el decimal peridico 0,33333. Por lo
3
tanto, cualquier decimal peridico lo podemos representar como una
fraccin.
Hay decimales que no se pueden escribir como una fraccin, no son finitos
ni peridicos. A este conjunto de nmeros se les llama los irracionales los
cuales los vamos a representar con la letra I . Ejemplos conocidos de
nmeros irracionales son:
2,
3 , e , .... .
El nmero
1
2
no es un
1.2
MTODOS DE DEMOSTRACIN
CONTENIDO
13
1.
2.
Demostracin Directa
Demostraciones Indirectas
1.
Demostracin directa
3.
14
2.
Demostraciones indirectas:
Ejemplo
Demuestre que el producto de dos enteros es par slo si por lo menos uno
de ellos es par. Este enunciado se puede escribir en la forma de un
condicional as: Si m.n es par entonces m es par o n es par.
Solucin: Supongamos que intentamos una demostracin directa de este
resultado entonces empezamos suponiendo que m.n es par lo cual implica
que existe un entero p tal que m.n 2. p , pero..cmo utilizamos la
igualdad m.n 2. p para deducir que m es par o n es par?. Como no es
posible, entonces intentamos la demostracin por contrarrecproca:
T H que finalmente, se puede escribir as: Si m no es par y n no es
par entonces m.n no es par. Es decir, m.n es impar. La demostracin
directa de esta afirmacin es la siguiente: Sean m impar, entonces
15
m 2 k 1 , k Z
y n impar entonces n 2 t 1 , t Z , entonces
m.n 2k 1 2 t 1 2 2kt k t 1 lo cual muestra que m.n es impar.
real
es
irracional.
Solucin:
Suponga
que
2 no es irracional, luego es racional y por tanto
p
2
, p Z q Z , q 0 . Es importante tener presente que p y q son
q
p
primos relativo, es decir, que m.c.d . p , q 1 . Como 2 , elevando al
q
cuadrado ambos lados, obtenemos que 2
p2
q2
entonces 2q 2 p 2 donde
EJERCICIOS
1.
Responda verdadero (v) o falso ( f ) justificando su respuesta . Si
requiere una
demostracin para las justificaciones, diga si es directa,
indirecta o por el mtodo del contraejemplo.
a.
b.
c.
16
d.
e.
tambin.
1.
m
m
y
y
m n es natural y m n
m.n
f.
Si
es natura
g.
a
N si a , b N
b
h.
y lo son.
2.
17