Академический Документы
Профессиональный Документы
Культура Документы
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
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.
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
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
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
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
~p
~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
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
-
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.
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
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.
decir
~(p q).
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
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
~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
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)