Você está na página 1de 14

UNIVERSIDAD NACIONAL EXPERIMENTAL

FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

PROPOSICIONES
Llamaremos proposicin a cualquier expresin lingstica de la cual tenga sentido preguntarse
si es verdadera o falsa.
Por ejemplo: entre las siguientes expresiones lingsticas:
1.
2.
3.
4.
5.

Ayer llovi?
Bolvar muri en Santa Marta!
Seis es menor que cuatro
La circunferencia es una curva
Si llueve entonces no ir a la playa

Slo las nmeros 3, 4 y 5 son proposiciones.

Valor de verdad
Decimos que una proposicin verdadera tiene el valor de verdad verdadero y que una
proposicin falsa tiene el valor de verdad falso. De esta forma utilizamos la expresin valor
de verdad para referirnos indistintamente al hecho de que una proposicin es verdadera o falsa.
Representamos los valores de verdad verdadero o falso por V, F, respectivamente. Tambin
se adopta a veces el convenio 1 para la verdadera y 0 para la falsa.
Conviene destacar que no compete a la lgica establecer el valor de verdad de las proposiciones;
de eso se ocupan las ciencias particulares. En lgica, se consideran las proposiciones con su
valor ya asignado; por ejemplo, diremos la ballena es un ave es una proposicin falsa, porque
as lo dice la Zoologa.

2.
3.

EJEMPLOS:
1. La suma de las longitudes de dos lados de un tringulo es mayor que la longitud de
cualquier lado. Esta es una proposicin a la cual se asocia el valor verdadero en
Geometra.
Al enunciado 6 es un nmero impar se le asocia el valor de falso en Matemtica.
La expresin: Qu fastidio!, no es una proposicin por lo cual no tiene sentido asignarle el
valor verdadero o falso.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

EJERCICIOS PROPUESTOS:
1.- Indique cules de las siguientes expresiones son proposiciones:
a) 6 es un nmero primo
b) Venezuela es una nacin
c) Dichoso el rbol que es apenas sensitivo
d) Buenos das
e) Es falso que 2 + 2 = 4
f) No hay mal que dure 100 aos

TRAPECIO

2.- Indique el valor de verdad de las siguientes proposiciones:


a) 13 es un nmero primo
b) El tiburn es un mamfero
c) Casas Muertas es una novela venezolana
d) 6 es un nmero impar
e) El trapecio es un cuadriltero que tiene dos lados paralelos y dos lados no
paralelos
f) El tringulo es un cuadriltero
g) El rombo es un paralelogramo que posee cuatro lados iguales en longitud y lados opuestos
paralelos

1.- VARIABLES O LETRAS PROPOSICIONALES


Podemos convenir en considerar el conjunto U, de todas las proposiciones posibles del
lenguaje, como conjunto universal y designarlo como el universo del discurso. Podemos
representar las proposiciones o elementos de este conjunto con letras minsculas como: p, q, r,
y las llamaremos variables o letras proposicionales.
Dadas una o ms proposiciones del lenguaje corriente, podemos representarlas en el lenguaje de
la lgica proposicional mediante el uso de variables o letras proposicionales y viceversa, a cada
variable del lenguaje de la lgica proposicional podemos asignar una proposicin del lenguaje
corriente, teniendo en cuenta:
1.
2.

Cada letra proposicional o variable p siempre representa una misma proposicin y slo
una.
Variables diferentes necesariamente representan distintas proposiciones.

EJEMPLO:
Sea p la proposicin: 2 es un nmero par
y q la proposicin:
Miguel es inteligente

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA
2.- CONECTIVOS LOGICOS
Si examinamos el contenido de las proposiciones podemos notar que muchas estn constituidas
por combinaciones de otras proposiciones. Distinguimos as las proposiciones compuestas de
las proposiciones simples.
(a) Juan es albail
(b) Juan es albail y Pedro es carpintero

es una proposicin simple


es una proposicin compuesta

Si por p y q designamos:
p: Juan es albail
q: Pedro es Carpintero
la proposicin (b) la podemos expresar en la forma p y q
De esta forma, a partir de dos proposiciones simples p y q y la conjuncin y obtenemos
una nueva proposicin p y q, donde la conjuncin y sirve para enlazar las dos proposiciones
simples.
Llamamos conectivos lgicos o simplemente conectivos a los smbolos que permiten
construir a partir de una o ms proposiciones simples o compuestas, otra proposicin
compuesta. En general, los conectivos relacionan las proposiciones y nos permiten analizar el
valor de verdad de una proposicin compuesta a partir de los valores de verdad de sus
proposiciones componentes.
Los conectivos lgicos son:
a) Negacin
b) Conjuncin
c) Disyuncin

d) Condicional
e) Implicacin
f) Bicondicional

a) NEGACION: El smbolo ~, que leemos: no, la negacin de, es un conectivo que al


preceder a una proposicin, la niega.
As, si p significa: me gusta la matemtica, ~p significa: no me gusta la matemtica.
El conectivo ~ precede siempre a la proposicin afectada por l.
Los valores de verdad que se asigna al conectivo negacin vienen establecidos por la siguiente
especificacin:

La negacin de una proposicin verdadera es una proposicin falsa, y

la negacin de una proposicin falsa es una proposicin verdadera.


Una forma interesante de representar esta especificacin es mediante el siguiente esquema,
llamado tabla de verdad
p
~p
V
F

F
V

Esta tabla nos muestra el efecto de introducir la negacin, desde el punto de vista del valor de
verdad de la proposicin resultante. As, la proposicin `p puede ser verdadera o falsa, y vemos

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA
segn la tabla que la proposicin resultante al aplicar la negacin de p, o sea ~p que es
falsa cuando p es verdadera y verdadera cuando es falsa.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA
EJEMPLOS:
1) Consideremos la proposicin:
p: a>b, la cual leemos a es mayor que b. Entonces
a no es mayor que b.

~p

se expresa por a > b y leemos

2) Sea la proposicin p: 8 es un nmero par. Sabemos que p es verdadera, y por tanto


es falsa.

~p

NOTA: hay proposiciones en matemtica de la forma Todo A es B (o bien: Todo A


verifica B). Por ejemplo:
a) Todo nmero par puede ser expresado como la suma de dos nmeros primos.
b) Todo tringulo rectngulo tiene dos ngulos agudos
b) CONJUNCION:
El smbolo ^, y que leemos y (conjuncin copulativa) es un conectivo que enlaza dos
proposiciones para formar una nueva proposicin. Dadas dos proposiciones p, q, la conjuncin p
^ q tiene el significado p y q.
Si consideramos dos proposiciones:
p: 2 es un nmero
q: la vaca es un animal
Al decir: 2 es un nmero y la vaca es un animal, el y agrega a p la proposicin q.
El valor de verdad de p ^ q es: verdadero si las dos proposiciones que la componen son
verdaderas, y es falso si al menos una de las dos proposiciones que la componen es falsa. La
siguiente tabla de la verdad fija el valor de verdad de la conjuncin:
p

p^q

V
F
V
F

V
V
F
F

V
F
F
F

Como vemos, una proposicin compuesta con la conjuncin, es verdadera nicamente en el caso
en que ambos componentes sean verdaderos.
EJEMPLOS:
1)
2)
3)
4)

2 es un nmero
2 es un nmero
2 es impar
^
2 es impar
^

^
la vaca es un animal
^
la vaca es un ave
la vaca es un animal :
la vaca es un ave
:

:
:
F
F

V
F

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

c) DISYUNCIN:
La disyuncin es un conectivo que corresponde a la conjuncin disyuntiva o. Observe que en el
lenguaje comn, dadas dos proposiciones p, q, la expresin p o q puede indicar uno de estos
dos significados:
a) p o q significa: la proposicin p o la proposicin q, o ambas.
En la expresin el prximo presidente ser abogado o economista, la disyuncin o tiene el
significado que se indica en a). En efecto, significa con dicha expresin que el prximo
presidente ser abogado, ser economista o tendr ambos ttulos.
EJEMPLOS:
1) Si decimos: El domingo a las 8pm ir a Maracaibo o a Caracas, para cualquiera que
escuhe queda claro que si voy a un lugar no ir al otro, es decir que una de las
acciones de ser ejercida excluye a la otra.
2) Si en cambio decimos: regalar la ropa vieja o la que est rota, se entiende que si
tengo ropa vieja que adems est rota, sta se incluir en el lote que regalar.

El valor de verdad de p
q es: verdadero, si al menos una de las dos proposiciones, es
verdadera, y falso, si ambas proposiciones son falsas. En la siguiente tabla de verdad se fija
el valor de verdad de la disyuncin inclusiva:
p

V
F
V
F

V
V
F
F

p
q
V
V
V
F

EJEMPLO:
estudio por libros ,
p
-

estudio por apuntes


q

Si eres un estudiante al que le gusta combinar los temas de los libros con los apuntes
tomados en clase, entonces estudiars por ambos. En este caso p y q son ambas
verdaderas y el resultado final es que estudias, y en consecuencia p
q es verdadera.
Pero si eres un estudiante irresponsable que vas a la universidad a pasear, derrochar
fsico, hacer amigos y no te preocupas por tomar apuntes y mucho menos por buscar
libros con los cuales estudiar, p es falsa y q tambin es falsa y como consecuencia NO
ESTUDIAS, por lo tanto p
q es falsa.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

d) CONDICIONAL:
Las proposiciones que se construyen sobre la estructura: Si entonces dan lugar a un
importante conectivo: el condicional, algunas veces llamado ms especficamente condicional
material. Su uso en matemtica es constante. Por ejemplo: Si un nmero es divisible por 6,
entonces es divisible por 3. Si un cuadriltero es un rombo, entonces sus diagonales son
perpendiculares.
El conectivo condicional se representa por el smbolo , que enlaza las dos proposiciones p, q:
pq, se lee: Si p, entonces q.
De las dos proposiciones p, q ligadas por el conectivo condicional, la primera recibe el nombre de
antecedente, y la segunda, de consecuente.
El valor de verdad de p q es: falso, si el antecedente p es verdadero y el consecuente q es
falso, y es verdadero en todos los dems casos.
Su tabla de verdad es:
p

pq

V
F
V
F

V
V
F
F

V
V
F
V

EJEMPLO:
Si mi hijo aprueba,
P

entonces

le hago un regalo
q

Expresiones de la forma Si entonces tienen diferente sentido en el lenguaje de la lgica


proposicional al que normalmente se les da en el lenguaje corriente.
En la lgica proposicional podemos usar cualquier proposicin como antecedente o consecuente
y el valor de verdad del condicional depender de los valores de verdad de stos, segn la tabla
de verdad.
En el lenguaje corriente generalmente se exige, no slo que los componentes del condicional
tengan un valor de verdad, es decir, que sean proposiciones, sino adems que, en cuanto a su
significado, guarden una relacin tal que la verdad del antecedente pueda ser relevante para el
consecuente.
Por ejemplo, la proposicin si 2 es un nmero par, entonces Miguel tiene 20 aos, es absurda
en el lenguaje corriente, ya que la verdad de ser 2 un nmero no tiene relevancia alguna para
saber la edad de Miguel.
Tampoco, en el lenguaje corriente, se le asigna algn valor de verdad al condicional, cuando el
antecedente es falso.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA
Por ejemplo a la proposicin: Si Coln lleg a la luna, entonces Coln era astronauta no le
podemos asignar un valor de verdad de acuerdo con nuestro conocimiento intuitivo como
hablantes del castellano.
EJEMPLO:
La proposicin: Si Pez descubri Amrica, entonces 2 es un nmero par siempre es
verdadera, ya que es suficiente que el antecedente sea falso para que el condicional sea
verdadero.
e) BICONDICIONAL:
Sean p y q dos proposiciones entonces se puede indicar la proposicin bicondicional de la
siguiente manera:
pq
Se lee p si solo si q
Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y solo
si q tambin lo es. La proposicin bicondicional solamente es verdadera si tanto p como q son
falsas o bien ambas verdaderas
Su tabla de verdad es:
p

V
F
V
F

V
V
F
F

p
q
V
F
F
V

EJEMPLO:
El enunciado siguiente es una proposicin bicondicional: Es estudiante regular, si y solo
si; tiene promedio de diez, donde:
p: Es estudiante regular.
q: Tiene promedio de diez.
SIGNOS DE AGRUPACION
Los componentes de una proposicin compuesta pueden ser a su vez proposiciones compuestas.
Para evitar confusiones y ambigedades introduciremos algunos signos de agrupacin que nos
facilitarn indicar la estructura de las proposiciones.
Haremos uso de los siguientes signos de agrupacin:
1.
2.
3.

Parntesis ()
Corchetes []
Llaves {}

El uso de estos signos es bastante anlogo a la forma en que se utilizan los mismos en
aritmtica.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA
EJEMPLO:
Para negar la proposicin compuesta p q debemos encerrar la proposicin entre parntesis y
de esta forma la negacin colocada antes de los parntesis, afectar la proposicin p q, es

decir

~(p q).

Si queremos negar la proposicin (p


q) r]

q) r, debemos encerrar en corchetes, es decir ~ [(p

A partir de este momento, ya ests en condiciones de representar cualquier enunciado con


conectores lgicos.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

EJEMPLO:
Sea el siguiente enunciado:
Si no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz, entonces me
quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido prestado, entonces no
podr pagar la deuda, si solo si soy desorganizado, donde:
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: soy desorganizado.
SOLUCION:
(~p q) p (rs) (r s) ~t w

CONFECCIN DE LAS TABLAS DE VERDAD PARA CUALQUIER FRMULA U ARGUMENTO


Si podemos determinar el valor de verdad de cada enunciado atmico, podremos saber
qu valor de verdad tendr un enunciado molecular o un conjunto de enunciados moleculares.
Podemos construir una tabla de verdad de cualquier frmula de lgica de enunciados.
Para ello, tendremos que seguir los siguientes pasos:
1. calcular el nmero de filas que tendr la tabla. Este ser equivalente a 2 elevado al nmero
de variables que tenga la frmula ( 2n donde n representa el nmero de variables que
intervienen).
EJEMPLO 1: Construya una tabla de verdad para la siguiente frmula:
[p -> (q v r)] >( p v q) v ( p -> r )
SOLUCION:
El primer paso: calculemos el nmero de filas que tendr la frmula. Como tenemos tres
variables, luego el nmero ser igual a 2 3, es decir, 8 filas. El segundo paso: Despus
detallaremos la columna inicial, que incluir todos los posibles valores de verdad que puedan
darse entre los elementos de la frmula.

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

El tercer paso: Confeccionar las columnas intermedias, empezando por los componentes
principales e internos, hasta abarcar la conexin completa de todos sus elementos.
Ejemplo 2:
Sea la frmula: [p -> (q v r)] >[( p v q) v ( p -> r )]
Otra forma de confeccionar la tabla es hacer uso del metalenguaje para denominar a los
distintos elementos de la frmula. Es decir, llamaremos A a [p -> (q v r)] y B a [( p v q) v ( p
-> r )]. Con lo cual, el esquema de la frmula queda como sigue: A B
p

qVr

pvq

p -> r

AB

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
F
V
V
V
F

V
V
V
F
V
V
V
V

V
V
V
V
V
V
F
F

V
F
V
F
V
V
V
V

V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V

Finalmente, en la columna final se resuelve la frmula total A B


EJEMPLO 3:
A continuacin se presenta un ejemplo para la proposicin [(pq) (~qr) (rq).
p

~q

F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

V
V
F
F
V
V
F
F

p
q
V
V
V
V
F
F
V
V

(~qr)
F
V
F
F
F
V
F
F

(pq)
(~qr)
V
V
V
V
F
V
V
V

rq
V
F
V
V
V
F
V
V

[(pq) (~qr)
(rq)
V
F
V
V
F
F
V
V

Lic. MIGUEL A GARCIA C UNEFM 2010

UNIVERSIDAD NACIONAL EXPERIMENTAL


FRANCISCO DE MIRANDA
VICERRECTORADO ACADMICO
REA CIENCIAS DE LA EDUCACIN
DEPARTAMENTO DE FSICA Y MATEMTICA
FORMULAS PROPOSICIONALES:
TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS
Dependiendo de los valores de verdad que obtengamos en la columna final podrn suceder tres
cosas:
1.
2.
3.

Que todos los valores sean verdaderos (V), y a la frmula la llamaremos tautologa. Esto
quiere decir que la frmula es verdadera en todos los casos, independientemente de los
valores de verdad que le atribuyamos.
Que todos los valores de la columna final sean falsos (F), en cuyo caso nos encontramos
con una contradiccin. Una frmula contradictoria es aquella que no es verdadera en
ningn caso, porque no es satisfacible con ninguna atribucin de verdad.
Que los valores de la columna final sean verdaderos (V) y falsos (F), en cuyo caso nos
encontramos con una contingencia. En una contingencia existen valores de verdad que
satisfacen la frmula y otros que no la satisfacen.

EJERCICIOS PROPUESTOS
Formaliza las siguientes proposiciones y confecciona su tabla de verdad:
1.- O ests seguro y lo que dices es cierto o mientes como un villano.
2.- Si un animal fabuloso se enfada, te quedas paralizado del susto y si te quedas paralizado del
susto, entonces no puedes sino apelar a su bondad y as no ser devorado. Por lo tanto, si un
animal fabuloso se enfada, tendrs que apelar a su bondad o sers devorado. Cuntas variables
tiene la tabla? Es una tautologa?
3.- Confeccione las tablas de verdad de las siguientes proposiciones. Son tautologas? Pueden
ser probadas?

a)
b)
c)

(p v q ) <-> ( ~(~p ~q))


(p -> q) <-> (~(p ~q))
(p v q) -> ( ~(~p ~q))

Lic. MIGUEL A GARCIA C UNEFM 2010