Logic A

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 7

1

UNIVERSIDAD INCA GARCILASO DE LA VEGA


Facultad de Comercio Exterior y Relaciones
Internacionales

DEPARTAMENTO ACADEMICO DE MATEMATICA


GUIA DE PRCTICAS


Asignatura: MATEMTICA


AO LECTIVO 2011-II

Profesor: Paul A. Daz Flores
ingmatdiaz@gmail.com








2
MATEMATICA

Profesor: Paul A. Daz Flores

LOGICA

1.1 INTRODUCCION.- Lgica es el estudio de los procesos vlidos del razonamiento humano. Siendo
de vital importancia, en la Matemtica Moderna, el anlisis del lenguaje con un criterio l, incluimos
en el presente captulo los elementos necesarios para que el estudiante se familiarice con dicha forma
de expresin y con la simbologa requerida, con el fin de conducirlo a un hbil manejo del lenguaje
matemtico y al empleo de mtodos eficaces de razonamiento.

1.2 ENUNCIADO.- Se denomina as a toda frase u oracin. Ejemplos:
1. 9 5 4 = + 2. 7 3 2 < x 3. Lima es la capital del Per. 4. Qu hora es?

1.3 PRPOSICION.- Es un enunciado que tiene la propiedad de ser verdadera ) (V o falsa ) (F , pero
nunca ambas al mismo tiempo. Las proposiciones se denotan con letras minsculas tales
como: , , , , , t s r q p a las que se les denomina variables proposicionales. En ocasiones, cuando son
muchas proposiciones se emplean subndices para indicar a cada una de ellas, del modo siguiente:
n
p p p p ,, , ,
3 2 1

Si una proposicin es verdadera se dice que su valor de verdad es igual a V , se escribe V p V = ) ( y
se lee valor de verdad de p es V .
Si una proposicin p es falsa se dice que su valor de verdad es F y se escribe F p V = ) ( y se lee
valor de verdad de p es igual a F .
Ejemplos:
Proposicin Valor de verdad
1. p: Csar Vallejo naci en Italia F p V = ) (
2. q: 5 12 3 2 < + ( ) V q V =
3. r: El nmero 1331 es divisible por 11 ( ) V r V =
4. s: Algunos hombres no son mortales ( ) V s F =
Observacin: Los enunciados interrogativos, exclamativos o imperativos no son proposiciones
tales como: Que hora tienes?, viva el Per!, prohibido fumar!, etc.

1.4 ENUNCIADOS ABIERTOS.- Son expresiones que contienen variables y no tienen la propiedad de
ser verdadero o falso.
Ejemplos.-
1. 7 < x 2. 9 = + y x 3. 16 = + + z y x
Variable.- Es una cantidad susceptible de variar en un determinado campo o recorrido. A las
variables los representaremos por letras minsculas tales como x, y, z, etc. las cuales reciben el
nombre de variables indeterminadas.
Ejemplos.-
1. x y = 5 es un nmero real, si x es un nmero real que sea menor o igual a 5. El campo o
recorrido de x es 5 > x .
2. En la ecuacin 9 = + y x . El campo o recorrido de x e y es 3 3 s s x





3
1.5 CONECTIVOS LOGICOS.- Son expresiones que sirven para unir dos o mas proposiciones, entre
los ms importantes tenemos: la conjuncin, disyuncin, implicacin, bicondicional, negacin,
contradiccin los cuales mostramos en el cuadro siguiente:

NOMBRE EXPRESION SIMBOLO LOGICO
Conjuncin y .
Disyuncin v
Implicacin Si, , entonces,
Bicondicional, equivalencia o
Doble implicacin
si y solo si,
Negacin No ~
Contradiccin no equivalente,


1.6 CLASES DE PROPOSICIONES LOGICAS.- Se tienen las siguientes:

a) PROPOSICIONES SIMLES O ATOMICAS.- Es una proposicin que no contiene ningn
conectivo lgico.

Ejemplos.- 1) 6 es mltiplo de 3 2) 3 + 7 = 12

b) PROPOSICIONEES COMPUESTAS O MOLECULARES.- Es una proposicin que
contiene al menos un conectivo lgicos.
Ejemplos.- 1) Jorge es profesor y Juan es abogado
2) Si un tringulo es issceles, entonces sus ngulos en la base son congruentes.

1.7 PROPOSICIONES COMPUESTAS BASICAS.- La composicin de proposiciones consiste en,
dadas una o dos proposiciones, obtener una nueva mediante el uso de las palabras denominadas
conectivos lgicos: no, o, y, si , entonces y si y solo s, entre otras.
El valor de verdad de una proposicin compuesta se determina por el valor de verdad de cada una de
las proposiciones simples y el modo como estn unidas para formar las proposicin compuesta. He
aqu algunas de las proposiciones compuestas:

a) LA NEGACION.- Dado una proposicin p, llamaremos la negacin de p, a otra proposicin que
denotaremos por ~ p, que se lee no p, y que se le asigna el valor opuesto a p, y su tabla de
verdad es:

p ~ p
V
F
F
V

El principio lgico de la negacin es: Si una proposicin es verdadera V, su negacin es falsa F y
recprocamente, si dicha proposicin es falsa F su negacin es verdadera V.
La proposicin ~ p se lee no p, no es cierto que p
Ejemplos.- 1. 2 es primo (V). Su negacin es: 2 no es primo (F)
2. 7 es par (F). Su negacin es: no es cierto que 7 es par (V).

b) LA DISYUNCIN.- La disyuncin de dos proposiciones p y q es la proposicin compuesta que
resulta de unir p y q por el conectivo lgico o en el sentido inclusivo y/o y que el principio
lgico es La proposicin q p v es falsa nicamente en el caso que p y q son ambas falsas, en
cualquier otro caso es verdadera. La tabla de verdad para la disyuncin es:



4
p q pvq
V
V
F
F
V
F
V
F
V
V
V
F

Ejemplos: 1) 2 + 7 = 9 v 6 5 = 1 V v F = V
2) 3 4 = 7 v 5 3 = 8 F v F = F

c) LA CONJUNCION.- La conjuncin de dos proposiciones p y q es la proposicin compuesta que
resulta de unir p y q por el conectivo lgico y que se simboliza p .q donde el principio lgico
es La proposicin p .q es verdadera nicamente en el caso que p y q son ambas verdaderas, en
cualquier otro caso es falsa. La tabla de verdad para la disyuncin es:

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

Ejemplos: 1) 4 + 8 = 12 . 23 13 = 10 V . V = V
2) 3 9 = 12 . 5 4 = 20 F . V = F

d) LA CONDICIONAL (IMPLICATIVA).- La implicacin de dos proposiciones p y q es la
proposicin compuesta que resulta de unir p y q por el conectivo lgico si, , entonces que
se simboliza pq, donde el principio lgico es La proposicin pq es falsa nicamente en el
caso que la proposicin p es verdadera y la proposicin q es falsa, siendo verdadera en todos los
dems casos. La tabla de verdad para la disyuncin es:

p Q pq
V
V
F
F
V
F
V
F
V
F
V
V

La proposicin p es llamado antecedente, premisa o hiptesis y la proposicin q es llamado
consecuente, conclusin o tesis.

Ejemplos: 1) 15 + 18 = 33 12 13 = 25 V F = F
2) 15 12 = 3 7 3 = 21 F V = V

Nota: A toda implicacin se le asocian otras tres proposiciones implicativas que juegan un papel
importante. Ellas son: La recproca, la inversa y la contrarrecproca, esto es dada la
proposicin implicativa q p , se tiene:

Su recproca es p q
Su inversa es: q p ~ ~ y
Su contrarrecproca es: p q ~ ~
Ejemplos.- Escriba la recproca, la inversa y la contrarrecproca de cada uno de las siguientes
proposiciones:
1. Si 5 5 = 0, entonces 5 = 5

5
2. Si a termina en cero, entonces a es mltiplo de 2
3. Si x = y, entonces x + y es par.

e) LA BICONDICIONAL (Equivalente o doble implicacin).- La doble implicacin de dos
proposiciones p y q es la proposicin compuesta que resulta de unir p y q por el conectivo lgico
si y solo si que se simboliza p q, que se lee p si y solo si q donde el principio lgico es
La proposicin p q es verdadera en el caso que ambas p y q tienen el mismo valor (ambas
verdaderas o ambas falsas) siendo falsas en cualquier otro caso. La tabla de verdad para el
bicondicional es:

p Q p q
V
V
F
F
V
F
V
F
V
F
F
V
Ejemplos: 1) 15 4 = 60 7 4 = 28 V V = V
2) 18 = 12 14 12 = 16 F F = V
f) LA DISYUNCIN EXCLUSIVA.- La disyuncin exclusiva de dos proposiciones p y q es la
proposicin compuesta que resulta de unir p y q por el conectivo lgico que se simboliza
p Aq, que se lee o p o q donde el principio lgico es La proposicin p Aq es falsa en el caso
que ambas p y q tienen el mismo valor (ambas verdaderas o ambas falsas) siendo falsas en
cualquier otro caso. La tabla de verdad para la disyuncin es:

p Q p Aq
V
V
F
F
V
F
V
F
F
V
V
F

Ejemplos: 1) 15 7 = 12 A 18 6 = 3 F AV = V
2) 21 7 = 7 A 42 21 = 2 F A V = V


En sntesis se tiene:

p Q
q p v q p . q p q p
q pA
V V V V V V F
V F V F F F V
F V V F V F V
F F F F V V F

1.8 JERARQUIA DE LOS CONECTIVOS LOGICOS.- Los conectivos lgicos, as como se usan
para unir proposiciones simples y formar proposiciones compuestas, tambin se usan para unir
proposiciones compuestas y obtener esquemas lgicos ms complejos, en cuyo caso suele hacerse
uso de los signos de coleccin (parntesis, corchetes y llaves) con el fin de dar mayor o menor
jerarqua a los conectivos.
En general, el ~ es el conectivo de menor jerarqua, le sigue el . y el v que tienen la
misma jerarqua y luego que es el de mayor jerarqua. Si embargo, cada conectivo puede ser

6
el de mayor jerarqua, si as lo indica el signo de coleccin. A mayor encierro menor jerarqua y
viceversa a menor encierro mayor jerarqua.
As por ejemplo r q p v . , es una ambigedad, es necesario el uso de los signos de coleccin a fin
de evitar dicha ambigedad tal como ) ( r q p v . .
Nota.- Si se tiene n proposiciones simples y llamamos A al nmero de filas que resultan de todos los
arreglos posibles de las V y las F de estas proposiciones, entonces
n
A 2 = . As, si se tienen las
proposiciones p, q y r, los arreglos son 8 2
3
= ; es decir: Para p: 4V y 4F, para q: 2V y 2F y para
r: 1V y 1F, intercaladas hasta completar las 8 filas

1.9 TAUTOLOGIAS, CONTRADICCIONES Y CONTINGENCIAS.-

a) TAUTOLOGIA.- Son proposiciones compuestas que siempre son verdaderas cualquiera que
sea el valor de las proposiciones componentes. Es decir su tabla de verdad es: (VVVVVVV).
b) CONTRADICCIONES.- Son proposiciones que siempre son falsas cualquiera que sea el
valor de las proposiciones componentes. Su tabla de verdad es (FFFFFFFFFFFF)
c) CONTINGENCIAS.- Son proposiciones que no son ni tautologa ni contradiccin, es decir,
son proposiciones que en algunos casos es V y en otros es F. Su tabla es (VVFVVVVF).

1.10 IMPLICACION LOGICA Y EQUIVALENCIA LOGICA.-
i) A toda proposicin condicional p q que es una tautologa se denomina implicacin lgica (o
simplemente implicacin) y lo denotaremos por: pq.
Ejemplo.- | | p q q p ~ ~ ) (~ . v , puesto que:

P Q
| | q q p ~ ) (~ . v
~ p
V
V
F
F
V
F
V
F
V F F
F F F
V F V
V V V
V
V
V
V
F
F
V
V

Es una tautologa, Por lo tanto es una implicacin lgica.
ii) A todo bicondicional p q que sea tautolgica se llama equivalencia lgica (o simplemente
equivalencia) y lo denotaremos por: p q.
Ejemplo de equivalencia lgica.- | | p q p p v . ) ( , puesto que:

P q
| | ) ( q p p v .
p
V
V
F
F
V
F
V
F
V V
V V
F V
F F
V
V
V
V
V
V
F
F

Es una tautologa. Por lo tanto es una equivalencia lgica.
1.11 PROPOSICIONES LOGICAMENTE EQUIVALENTES.- Dos proposiciones P y Q son
lgicamente equivalentes si sus tablas de verdad son idnticas en este caso lo simbolizamos de la
siguiente manera: P Q.
Ejemplo.- (pq) y (~ q ~ p) son lgicamente equivalentes. En efecto:

P q pq ~ q~ p
V
V
F
F
V
F
V
F
V
F
V
V
F V F
V F F
F V V
V V V

7
1.12 PRINCIPALES LEYES LOGICAS O TAUTOLOGIAS.-
1. Los tres Principios Lgicos Clsicos:
1. Ley de Identidad.
p p ; p p . Una proposicin solo es idntica as mismo
2. Ley de la no contradiccin.
) ~ ( ~ p p. . Una proposicin no puede ser verdadero y falso a la vez.
3. Ley de tercio excluido.
p p ~ v . Una proposicin es verdadera o es falsa, no hay una tercera posibilidad.
2. Equivalencias notables.-
4. Ley de la doble negacin
p p ) (~ ~
5. Ley de la idempotencia
a. p p p v b. p p p .
6. Leyes conmutativas.
a. p q q p v v b. p q q p . .
7. Leyes asociativas
a. ) ( ) ( r q p r q p v v v v b. ) ( ) ( r q p r q p v v v v
8. Leyes distributivas
a. ) ( ) ( ) ( r p q p r q p . . v . v b. ) ( ) ( ) ( r p q p r q p . v . v .
9. Leyes de De Morgan
a. q p q p ~ ~ ) ( ~ . v b. q p q p ~ ~ ) ( ~ v .
10. Leyes de condicional
a. q p q p v ~ b. p q q p ~ ~
11. Leyes del bicondicional
a. ) ( ) ( p q q p q p . b. | | q p q p q p ~ ~ ) ( . v . .
11. Leyes de absorcin
a. p q p p v . ) ( b. p q p p . v ) (
12. Elementos neutros para la disyuncin y conjuncin
p F p v p V p .
13. Leyes adicionales:
a) V p p v~ b) F p p .~
c) F V ~ d) V F ~

También podría gustarte