TECNOLOGIA MDICA

PROFESORES: MARCELO HUENCHUCONA y ANA MARIA TAPIA

UNIDAD I: LGICA PROPOSICIONAL

Introduccin

Las personas, en su vida diaria, se comunican con sus semejantes a

travs de un lenguaje determinado (oral, escrito, etc.) por medio de las
denominadas frases, oraciones, etc. Estas pueden tener diferentes significados
pero siempre van a resumirse a las formas de verdaderas o falsas, siendo ste el
precedente fundamental para el desarrollo humano. Lo importante en el presente
estudio es el hecho de que, a partir de los enunciados y de acuerdo a su
significado es posible establecer una proposicin y a partir de un conjunto de stas
podemos llegar a una conclusin o inferencia, siendo la lgica la ciencia
encargada del estudio de stas.
Actualmente , la lgica proposicional, tiene una importancia singular,
dado que nos permite entender el lenguaje matemtico y adquirir el simbolismo de
su razonamiento: Su aplicacin es variada destacando en el rea de la electrnica
y la informtica los llamados "circuitos lgicos"

Algunos razonamientos que se resuelven fcilmente aplicando la lgica

son por ejemplo :

a) Qu estamos diciendo cuando expresamos?

No, no quiero caf

b) En el siguiente problema cmo indicar el orden de llegada de los

participantes en la carrera si se tiene la siguiente informacin de cada
uno de ellos pero donde solo dijeron una verdad:
Cristian: Daniel lleg primero y yo segundo.
Juan: Daniel lleg segundo y yo cuarto.
Freddy: Hugo lleg quinto y yo tercero.
Daniel: Freddy lleg primero y yo quinto.
Hugo: Daniel lleg tercero y yo cuarto.

Objetivos
- Identificar la importancia de la relacin que existe entre la lgica- matemtica
- Solucionar de problemas aplicando el razonamiento lgico matemtico.

LGICA PROPOSICIONAL
 2

En el lenguaje lgico se distinguen los smbolos fijos(+, <, ....etc) y

smbolos variables tales como las letras en una ecuacin(x, y,...etc). Adems se
pueden distinguir las proposiciones de las expresiones.

Proposicin
La proposicin o aseveracin es el significado de una idea, enunciado,
conjunto de palabras o letras a las que se les puede asignar uno y slo uno de
los valores de verdad, que pueden ser:

VERDADERO (V) o FALSO (F)

Por lo general, a las proposiciones se las representa por las letras del
alfabeto desde la letra p, es decir, p, q, r, s, t, ... etc. As, por ejemplo, podemos
citar las siguientes proposiciones y su valor de verdad:

p : 15 + 5 = 21 (F)
q: Soy estudiante de Ingeniera. (V)
r: El nmero 15 es divisible por 3. (V)
s: 8 es factor de 2. (F)

Expresiones No Proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de
verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos.

As tenemos, por ejemplo:

En que universidad estudias?

Prohibido entrar
Asiste a clases

Enunciados Abiertos
Si en la proposicin: "cinco es mayor que tres" (en smbolos: 5 > 3)
reemplazamos al nmero 5 por la letra x, se obtiene la expresin "x es mayor que
tres" (x > 3), y si convenimos que x no represente necesariamente al nmero 5,
sino a un nmero cualquiera, entonces al enunciado x > 3 se le denomina
enunciado abierto.

Clasificacin de las Proposiciones

Aquellas proposiciones que constan o se les puede representar por una
sola variable, se llaman proposiciones simples o atmicas. Por ejemplo, sea la
proposicin "p: (3 + 6) 0 = 1 " es una proposicin simple o atmica.
Cuando una proposicin consta de dos o ms enunciados simples, se le llama
proposicin compuesta o molecular. As, por ejemplo:

Entiendo si y solo si estudio

3

encontramos dos enunciados. El primero (p) nos afirma que entiendo y el segundo
(q) estudio.

Notacin y Conectivos Lgicos

A partir de proposiciones simples es posible generar otras, simples o
compuestas. Es decir que se puede operar con proposiciones, y para ello se
utilizan ciertos smbolos llamados conectivos lgicos. A continuacin vemos una
concreta definicin de cada uno:

Smbolo Operacin asociada Significado

Negacin no p o no es cierto que p

Conjuncin o producto lgico pyq

Disyuncin o suma lgica p o q (en sentido incluyente)

condicional si p entonces q

Bicondicional p si y slo si q

Operaciones Proposicionales

Negacin
Dada una proposicin p, se denomina la negacin de p a otra proposicin
denotada por ~ p (se lee "no p") que le asigna el valor veritativo opuesto al de p.
Por ejemplo:
p: 2 es nmero par
~ p: no, 2 es nmero par
~ p: 2 no es nmero par
~ p: 2 es nmero impar

Por lo que nos resulta sencillo construir su tabla de verdad:

p ~p
V F
F V

Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F,

y viceversa.
 4

Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene

otra, que es su negacin.

Ejemplo: La negacin de " p: todos los alumnos estudian matemtica" es

~ p: no todos los alumnos estudian matemtica
o bien:
~ p: no es cierto que todos los alumnos estudian matemtica
~ p: hay alumnos que no estudian matemtica

Observaciones :
a) Al negar una proposicin verbal es conveniente procurar la mejor
construccin.
b) La negacin de la negacin de una proposicin dada es la proposicin
dada.
c) La negacin ante una proposicin compuesta generalmente se lee : no es
verdad que o no es cierto que

Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas
proposiciones a la proposicin p q (se lee "p y q"), cuya tabla de verdad es:

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

La tabla que define esta operacin, establece que la conjuncin es

verdadera slo si lo son las dos proposiciones componentes. En todo otro caso, es
falsa.
3

14
2 2
1
143 243
3 2
Ejemplo: Sea la declaracin: i) 3 2

p
2 43
q

Vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que
son
3
p: 3
3 3
2 2

2
1
q: 2
Por ser ambas falsas, la conjuncin de ellas es falsa.

Ahora bien, sea la declaracin

ii) Soy estudiante y tengo 151 aos
5

Esta conjuncin es falsa, ya que no pueden ser simultneamente verdaderas

ambas proposiciones.

Disyuncin
Dadas dos proposiciones p y q, la disyuncin de las proposiciones p y q es
la proposicin p q cuya tabla de valor de verdad es:

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

la tabla precedente, nos muestra que la disyuncin slo es falsa cuando

ambas proposiciones son falsas.

a b 2 a 2 2ab b 2
7 2 49
Ejemplo: Sea i) 1 4 4 4 4 2 4 4 4 43 1 44 2 4 43
p q

Como p es verdadera y q es falsa . La disyuncin de ambas es verdadera.

Observacin:
La disyuncin o es utilizada en sentido excluyente, ya que la verdad de la
disyuncin se da en el caso de que al menos una de las proposiciones sea
verdadera. En el lenguaje ordinario la palabra o es utilizada en sentido incluyente
o excluyente indistintamente.

Condicional
Condicional de las proposiciones p y q es la proposicin (si p entonces q)
cuya tabla de valores de verdad es:

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

La proposicin p se llama antecedente, y la proposicin q se llama consecuente

del condicional. La tabla nos muestra que el condicional slo es falso si el
antecedente es verdadero y el consecuente es falso.
Ejemplo: Supongamos el condicional
 6

2 4 2 0 3 es mltiplo de 6
0

1 4 4 44 2 4 4 4 43 1 4 44 2 4 4 43
q
p

Como la proposicin p es F y la proposicin q es falsa , entonces la proposicin

p q es verdadera.

Doble Condicional o Bicondicional

El bicondicional de las proposiciones p y q es la proposicin p q (se lee
"p si y slo si q") cuya tabla de valores de verdad es

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

El doble condicional o bicondicional slo es verdadera si ambas

proposiciones tienen el mismo valor de verdad.

Observacin:
El doble conicional puede definirse como la conjuncin de un condicional y su
recproca. De este modo, la tabla de valores de verdad de p q puede obtenerse
mediante la tabla de (p q) (q p), como vemos:

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

Ejemplo: Sea i) a = b si y slo si a2 = b2

El enunciado est compuesto por las proposiciones:

p: a = b
q: a2 = b2
Este bicondicional es falso pues si p es F , q puede ser V ( a=2, b= -2)
En los dems casos es V.

Implicacin lgica:
7

Diremos que una proposicin p implica q y denotaremos p q cuando el

condicional p q es siempre verdadero, es decir, nunca se da que siendo el
antecedente verdadero el consecuente es falso.

Ejemplo: Si consideramos (p q) (p q) notamos que ella es siempre

verdadera. Luego decimos que (p q) implica (p q) y escribimos:

p q p q
Proposiciones lgicamente equivalentes
Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad
son idnticas. De ser a s se denota: p q o bien p q

Ejemplo: Sea a: p q, recordamos su tabla de verdad:

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

Ahora bien , si analizamos la proposicin b: ~ p q, su tabla de verdad resulta:

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

Como vemos, luego de realizar las tablas de valor veritativo encontramos

que ambas proposiciones tienen el mismo resultado final. Con esto, decimos que
ambas proposiciones son lgicamente equivalentes, y en este caso particular lo
simbolizamos:

(p q) (~ p q) o bien (p q) (~ p q)

Tautologa, contradiccin y contingencia

Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin
lo denominamos frmula lgica o proposicin compuesta. Por ejemplo:
~{ (p q) (s t) }

Si al evaluar una frmula lgica, resulta que todos los valores de verdad
resultantes son siempre V para cualquier combinacin de sus valores veritativos,
decimos que dicha frmula es una Tautologa o Ley lgica.
 8

Ejemplo: Si analizamos la proposicin t: p ~ p realizando su tabla de verdad:

p ~p p ~p
V F V
F V V

Vemos que para cualquier combinacin de las proposiciones p y su negacin ~ p,

la proposicin t: p ~ p es siempre verdadera. Entonces, la proposicin t es una
tautologa.

Ejemplo: Analicemos ahora la frmula lgica { ( p q ) p} q

p q (p q) (p q) p {(p q) p} q

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

En este caso comprobamos tambin que independientemente de la

combinacin de valores de verdad de las proposiciones p y q, el resultado de la
frmula lgica es siempre V. Decimos, aqu tambin, que esta frmula es una
tautologa o ley lgica.

Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores

resulta que para cualquier valor de verdad de las proposiciones que intervienen el
resultado de dicha frmula es siempre falso, decimos que dicha frmula es una
Contradiccin.

Ejemplo: Analicemos la frmula lgica p ~p

p ~p p ~p
V F F
F V F

Encontramos que la frmula es siempre falsa, es entonces una

Contradiccin.
Si una proposicin no es una tautologa ni una contradiccin (es decir que
contiene al menos un valor V y otro F) es una contingencia.

Observaciones:

1) La implicacin es un condicional que es tautologa.

2) La equivalencia es un bicondicional que es tautologa.
9

Leyes del lgebra proposicional

Como bien dijimos arriba, aquellas frmulas lgicas que resultan ser
siempre verdaderas no importa la combinacin de los valores veritativos de sus
componentes, son tautologas o leyes lgicas. En el clculo proposicional existen
algunas tautologas especialmente tiles cuya demostracin se reduce a la
confeccin de su correspondiente tabla de verdad, a saber:

Involucin
~ (~ p) p (se lee "no, no p, equivale a p")

Idempotencia
(p ~ p) p

(p ~ p) p

Conmutatividad
a) de la disyuncin: p q q p

b) de la conjuncin: p q q p

Asociatividad

a) de la disyuncin: (p q) r p (q r)

b) de la conjuncin: (p q) r p (q r)

Distributividad:
De la conjuncin respecto de la disyuncin: (p q) r (p r) (q r)

De la disyuncin respecto de la conjuncin: (p q) r (p r) (q r)

Leyes de De Morgan
~(p q) ~p ~q

"La negacin de una disyuncin equivale a la conjuncin de las negaciones"

~(p q) ~p ~q
 10

"La negacin de una conjuncin equivale a la disyuncin de las negaciones"

Negacin de una Implicacin

Las proposiciones p q y ~ (p ~ q) son equivalentes, como vemos realizando
la tabla de valores correspondientes:

p q (p q) (p ~ q) ~(p ~ q) p q ~(p ~ q)

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

Con esto, comprobamos que la negacin de la primera equivale a la negacin de

la segunda, es decir

~ (p q) ~{ ~(p ~ q)}, y podemos concluir entonces que:

~ ( p q ) ( p ~ q)

Es decir, la negacin de una implicacin no es una implicacin sino la conjuncin

del antecedente con la negacin del consecuente.

Ejemplo: Sea la implicacin p: hoy es viernes entonces maana es domingo

Su negacin es ~ p: hoy es viernes y maana no es domingo.

Circuitos lgicos o booleanas

La verdad de una proposicin puede asociarse al pasaje de corriente en un
circuito elctrico con un interruptor.

As, para representar a p, si es F, se tiene: p

y para p, si es V, se tiene: p

Es decir, el interruptor se cierra si p es V y se abre si p es F.

11

Podemos, as, representar las operaciones proposicionales mediante circuitos con

tantos interruptores como proposiciones componentes, combinados en serie o
paralelamente.

Veremos, a continuacin, como representar en forma booleana las operaciones

que surgen de operar con dos proposiciones mediante los conectivos lgicos que
conocemos.

Conjuncin

Este circuito admite el pasaje de corriente, es decir la verdad de p q, slo si

ambas son V (comprobar en la tabla de verdad de la conjuncin).

Disyuncin
Est representada por un circuito en paralelo.

Como vemos, admite el pasaje de corriente cuando al menos una de las dos es V
(comprobar en la correspondiente tabla de verdad).

Implicacin
Dado que la representacin mediante circuitos booleanos slo es posible
en caso de la conjuncin o disyuncin, para todas las dems operaciones
necesitamos convertirlas en combinacin de stas. As, puesto que
( p q ) ~ ( p ~ q ), aplicando una ley de De Morgan y la doble negacin,
se tiene ( p q ) ( ~ p q )

Es decir, convertimos la implicacin en una disyuncin para poder representarla

mediante un circuito booleano. Tenemos, as:

Ejemplo: Dibujar el circuito booleano de la siguiente proposicin:

( p q ) r
 12

Funciones proposicionales y cuantificadores

Funcin Proposicional
Supongamos los enunciados abiertos:

" x es la capital de Chile"

" y + 4 = 11"

Estos no tienen un valor veritativo. Pero si en el primero de ellos hacemos

x = Santiago, tenemos:

"Santiago es la capital de Chile" (V)

Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 (F)

Podemos, entonces, dar la siguiente definicin: "Una funcin proposicional es un

enunciado abierto de la forma P(x) que se convierte en una proposicin cuando se
le asigna un valor especfico a la variable".

Ejemplos:

p(x) : 2x + 5 > 11 , si x = 4 \ 13 > 11 (Verdadero)

q(x) : 3x + 7 = 11 , si x = 5 \ 22 = 16 (Falso)

r(x) : 2x + 1 = 5 , si x = 2 \ 5 = 5 (Verdadero)

s(x) : x es un animal, si x = mesa se tendr : mesa es un animal (Falso)

t(x) : x es un ave, si x = flamenco se tiene: el flamenco es un ave (Verdadero)

Cuantificadores
A partir de funciones proposicionales es posible obtener proposiciones
generales mediante un proceso llamado de cuantificacin. Asociados a la
13

indeterminada x, introducimos los smbolos x y x, llamados cuantificador

universal y cuantificador existencial respectivamente. Las expresiones

Para todo x, se verifica p(x) se denota por x : p(x)

Existe x, tal que se verifica p(x) se denota por x / p(x)

Corresponden a una funcin proposicional p(x) cuantificada universalmente en el

primer caso, y existencialmente en el segundo.

Tambin podemos destacar el cuantificador unicidad simbolizado por: ! x

Su expresin ser: Existe un nico x que verifica p(x).
! x : p(x) sta es verdadera cuando un slo x cumple la propiedad.

Observacin:
Una funcin proposicional cuantificada universalmente es V si y slo si son V
todas las proposiciones particulares asociadas a aquella.

Una funcin proposicional cuantificada con la unicidad verdadera lo es tambien

con el cuantificador existencial.
Un problema de inters es la negacin de funciones proposicionales cuantificadas.
Por ejemplo, La negacin de "Todos los enteros son impares" es "Existen enteros
que no son impares" y en smbolos: x / ~ p(x)

Entonces, para negar una funcin proposicional cuantificada universalmente se

cambia el cuantificador en existencial, y se niega la funcin proposicional.

Ejemplo: Supongamos la proposicin: Todos los alumnos de mi facultad son

aplicados.

La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al

lenguaje ordinario.

Nos damos cuenta pronto que se trata de la implicacin de dos funciones

proposicionales:

p(x) : es alumno de la facultad

q(x) : es aplicado

Tenemos: x : p(x) q(x)

Teniendo en cuenta la forma de negar una funcin proposicional cuantificada

universalmente y una implicacin resulta:

x / p(x) ~ q(x)
 14

Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi facultad que no

son aplicados.
Si negamos una funcin proposicional con el cuantificador existencial
: x : p ( x ) tendremos que es equivalente a decir que todos no tienen la
propiedad. Simblicamente tenemos x : : p x
Importante es destacar que para poder asignarle un valor de verdad a una
proposicin con cuantificador, debemos tener en consideracin en que conjunto
trabajamos la variable, es decir en que Universo tomamos los valores de x.
Ejemplo :
Consideremos como universo el conjunto de los enteros Z.
Si afirmamos: x Z: x > 0 es una proposicin falsa.
Si la misma funcin proposicional x > 0 con el mismo cuantificador universal la
consideramos otro universo N, conjunto de los enteros positivos:
: x N: x > 0 es una proposicin verdadera.

Enunciados, Teoremas

Cuando a partir de una o varias proposiciones, supuestamente verdaderas

(Hiptesis) podemos obtener proposiciones tambin verdaderas (Tesis) decimos
que tal enunciado es un teorema.

Teorema directo: H T
A partir de el podemos obtener :
Teorema recproco: T H
Teorema Contrario: ~ H ~ T
Teorema Contra recproco: ~ T ~ H

Obsevacin:

Por las equivalencias dadas anteriormente podemos concluir que:

Teorema directo es equivalente al contra recproco, lo cual nos permite demostrar

con facilidad algunos enunciados. Este mtodo se llama reduccin al absurdo.

Ejemplo: Demostrar que siendo a es un nmero natural (entero positivo)

Si a2 es impar, entonces a es impar.
Demostracin:
H: a2 es impar. T: a es impar.
Debemos probar que: H T
Por ser imposible esta demostracin, hacemos uso del contra reciproco.
~T ~H
Demostracin: a no es impar a es par a = 2n , n natural
a2 = (2n)2 = 4 n2 = 2 (2n2)
15

a2 es par a2 no es impar

Como el teorema contra reciproco se cumple concluimos que el directo

tambin se cumple.