PROPOSICIONES:

Son enunciados que en un contexto determinado o en una teora se pueden calificar como verdaderas o falsas.
Para designar una proposicin se utilizaran las letras minsculas. p, q , r, s
Proposicin SIMPLE:
Es aquella que se forma sin utilizar trminos de enlace.
Ejemplo:
p: Hoy es jueves
q: 7 elevada a la 3=343
En general el nmero de proposiciones simples que se tienen es n, entonces el nmero de posibilidades es 2 elevado a la
n.

NEGACIN DE UNA PROPOSICIN

La negacin es el conectivo lgico que permite cambiar el valor de verdad de una proposicin.
Si p es verdadero (V)
Su negacin p es falsa (F)
p se lee no p.

Ejemplo: Negar las siguientes proposiciones simples:

p: Todos los nmeros primos son pares.
q: No todos los tringulos son isceles.
r: -15+18=7

Solucin:
p: No todos los nmeros primos son pares.
q: Todos los tringulos son isceles.
r:-15+18+ 7
LA CONJUNCIN
(p ^ q) smbolo lgico ^.
La proposicin p ^q es verdadera nicamente si p y q son verdaderas, los dems casos p y q es falsa.
Ejemplo: Juanita, podrs salir a la calle cuando arregles la cama y limpies los muebles.

TABLA DE VERDAD DE LA CONJUNCIN

LA DISYUNCIN
Smbolo gramatical: o
Smbolo lgico: v
La disyuncin inclusiva es verdadera cuando al menos una de las proposiciones sea verdadera y es falsa cuando todas las
proposiciones simples sean falsas.
Ejemplo: Juanita, te dejo salir a jugar cuando arregles la cama o sacudas el polvo.
TABLA DE VERDAD DE LA DISYUNCIN
DISYUNCIN EXCLUSIVA
La proposicin p v q cuando nicamente una de las proposiciones es verdadera y la otra falsa.
El nmero 3 o es divisor de 6 o divisor de 10.
TABLA DE VERDAD

VALOR DE VERDAD DE LA IMPLICACIN

La proposicin p => q es falsa nicamente si el antecedente es verdadero y el consecuente es falso. En los dems casos es
verdadera.
TABLA DE VERDAD

BICONDICIONAL Y DOBLE IMPLICACIN

Forma gramatical: si y slo si
Smbolo lgico: <=>
Ejemplo: x es un nmero par si y slo si x es mltiplo de 2.
p: x es un nmero par.
q: x es mltiplo de 2.
p=>q ^q=>p.

VALOR DE VERDAD DE LA EQUIVALENCIA.

La proposicin p <=> q es verdadera cuando ambas proposiciones son verdaderas o ambas proposiciones son falsas.

3. Escribir la proposicin dada en la forma si p entonces q determina su valor de verdad.

a) Los pjaros son aves.
b) Slo las rectas no paralelas se cortan.
c) Slo las rectas perpendiculares forman ngulos rectos.
Ejemplo: Escribir simblicamente las proposiciones siguientes.
a) 2 es nmero par y 21 es mltiplo de 3 o 5 es la raz cuadrada de 10.
Solucin:
p: 2 es nmero par.
q: 21 es mltiplo de 3.
r: 5 es la raz cuadrada de 10.
(p ^ q) v r
b) Si 5 multiplicado por 12 es 60, y 3 es el cuadrado de 9, entonces, estudio o juego ajedrez.
Solucin:
p: 5 es multiplicado por 12 es 60.
q: 3 es el cuadrado de 9.
r: estudio.
s: juego ajedrez.
(p ^ q) => (r v s)
VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS
Ejemplo: Supongamos que se quiere determinar que la proposicin (p ^ q) es equivalente a (p => r) suponiendo que:
p: es falsa.
q: es verdadera
r: es verdadera
p, q, r, (p ^ q) <=> (p => r).

TABLAS DE VERDAD
Son utilizadas para establecer el valor de verdad de proposiciones compuestas.
Ejemplo: Hallar el valor de verdad de las siguientes proposiciones compuestas:
a) (p ^ q) v (q <=> p)
b) [(p => q) ^ p] => q

AvB

TAUTOLOGAS
Es una proposicin compuesta siempre verdadera, sin importar el valor de verdad que tengan las proposiciones simples
que la componen.
Ejemplos:
Comprobar por medio de una tabla de verdad que las siguientes proposiciones compuestas son tautologas.
1. p v p.
2. [p ^ (p => q)] => q.
3. (p v q) <=> (q v p).
4. (p => q) <=> (q => p).
5. [(p => q) ^ (q => r)] = (p => r).
CONTRADICCIONES
Es una proposicin compuesta siempre falsa sin importar el valor de verdad que tengan las proposiciones que la
componen.
Ejemplo: Comprobar que la proposicin (p ^ p) es una contradiccin.

Ejercicio:
Elaborar la tabla de verdad de las siguientes proposiciones y decir en casa caso si se trata de una tautologa, una
contradiccin o una indeterminacin.
a) (p => q) <=> (p ^ q).
b) (p ^ q) <=> (p v q).
c) p => (q ^ r).
d) p => (p ^ q).
e) (p ^ q) => (p v q).
f) (p => q) => p.
g) (q ^ r) v (q v r).
h) (r ^ r) v r.
Ejercicios de tablas de verdad

(1.) Descubra mediante el procedimiento de tablas de verdad si estas frmulas son: tautolgicas, contingentes o
contradictorias
1. p ^ q --> p
2. p v p --> r
3. p v (q --> r)
4. (p --> q) ^ (q --> r) --> (p --> r)
5. p --> (q --> r)
6. p v q --> (r v s --> p)
7. p ^ q --> q ^ p
8. (p --> q) ^ p --> q
9. (p --> q) ^ (p --> q)
10. (p --> q) ^ q --> p

(2.) Demuestre mediante tablas de verdad si las siguientes frmulas son equivalentes o no:

1. p ^ q --> p , p v p --> r
2. p ^ (q v r) , (p ^ q) v (p ^ q)
4. (p --> q) ^ (q --> r) --> (p --> r) , p --> (q --> r)
 CONECTOR SMBOLO ESQUEMA SIGNIFICADO VALOR DE VERDAD

V si ambas proposiciones
CONJUNCIN pq pyq
son V

DISYUNCIN F solo si ambas

INCLUSIVA
pq poq
proposiciones son F

F si ambas proposiciones
DISYUNCIN p q
EXCLUSIVA
opoq tienen igual valor de
verdad
F solo si la primera
si p,
CONDICIONAL pq proposicin es V y la
entonces q
segunda es F

Lo opuesto al valor de la
NEGACIN p no p
proposicin

CONECTOR EXPRESIONES EQUIVALENTES

Sin embargo, aunque, tambin, pero, adems, a la

CONJUNCIN
vez, no obstante, etc.

CONDICIONAL Por consiguiente, puesto que, porque, ya que, etc.

NEGACIN No es cierto que, es falso que, no es el caso que, etc.