Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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: