Si llueve

las calles
se mojan
ES UNA AFIRMACIN QUE PUEDE SER VERDADERA O FALSA
EJEMPLOS DE PROPOSICIONES:
La capital De Chile es Santiago
El rio Claro pasa por Talca
Maule tiene 45 millones de habitantes
Ojal llueva maana!
Ponte el vestido rojo
Cmo te llamas?
NO SON PROPOSICIONES:
(Es un mandato)
(Es una pregunta)
(Es un deseo)
Proposicin:
Enunciado que puede ser
verdadero o falso, pero no ambos.
SE UTILIZAN PARA COMBINAR DOS O MS PROPOSICIONES
DANDO LUGAR A PROPOSICIONES COMPUESTAS.
EXISTEN LOS SIGUIENTES CONECTORES LGICOS:
El mar est en calma o sopla una ligera brisa
LA NEGACIN
LA DISYUNCIN
LA CONJUNCIN
DISYUNCIN EXCLUYENTE
IMPLICACIN
BICONDICIONAL
CONDICIONAL
DOBLE IMPLICACIN
0
0
Los conectivos lgicos se utilizan
para combinar proposiciones y
obtener nuevas proposiciones.
Proposiciones
Simples o Atmicas
Compuestas
o modulares
La negacin de la proposicin p se representa
por p y se lee no p
VALOR DE VERDAD: Es la verdad o falsedad de una
proposicin
p es falsa cuando p es verdadera y es verdadera
cuando p es falsa.
TABLA DE VERDAD:
p p
V F
F V
La conjuncin de las proposiciones p y q se simboliza por p . q
y se lee p y q
VALOR DE VERDAD: p . q es verdadera cuando lo son
simultneamente p y q y es falsa en los dems casos.
TABLA DE VERDAD:
p q p . q
V V V
V F F
F V F
F F F
p q p v q
V V V
V F V
F V V
F F F
La disyuncin de las proposiciones p y q se simboliza por p v q
y se lee p o q
VALOR DE VERDAD: p v q es verdadera cuando lo son
alguna de las proposiciones p y q y es falsa cuando ambas
proposiciones lo son.
TABLA DE VERDAD:
p q p q
V V F
V F V
F V V
F F F
La disyuncin excluyente de las proposiciones p y q se
simboliza por p q y se lee o p o q
VALOR DE VERDAD: p q es verdadera cuando lo son
alguna de las proposiciones p o q y es falsa cuando ambas
proposiciones son verdaderas o falsas
TABLA DE VERDAD:
v
v
DISYUNCIN EXCLUYENTE
Se simboliza por p q y se lee: si p, entonces q.
A la proposicin p se le llama antecedente y a la proposicin
q consecuente
VALOR DE VERDAD: El condicional p q es siempre
verdadero, excepto cuando p es verdadero y q falso.
TABLA DE VERDAD:
p q p q
V V V
V F F
F V V
F F V
IMPLICACIN
0
Se simboliza por p q y se lee: si p, entonces q.
A la proposicin p se le llama antecedente y a la proposicin
q consecuente
VALOR DE VERDAD: El condicional p q es siempre
verdadero cuando ambas son verdaderas o falsas , son
falsas cuando p es verdadero y q falso o al revs
TABLA DE VERDAD:
p q
p q
V V V
V F F
F V F
F F V
BICONDICIONAL DOBLE IMPLICACIN
0
Tablas de verdad de
proposiciones compuestas
Sea la proposicin compuesta
(p v q ) r
Distinguimos aqu el condicional como el conectivo lgico
principal que caracteriza a la proposicin.
Es decir, identificamos a esta proposicin como un condicional.
En este caso no es dificil hacer tal identificacin ya que est
sugerida por el parntesis el cual nos indica que primero debe
efectuarse la disyuncin pv q y despus el condicional (p v q)
r
En caso de no existir signos de coleccin , adoptamos la
convencin de que el conectivo ~ liga con ms fuerza que
v o . , y a su vez , cada uno de estos liga con mayor
fuerza que o

EJEMPLO:1

|(~ p) v q | rse puede escribir ~ p v q
r

En cambio,
(p v q) . r y p (q r) necesitan
de los parntesis
EJEMPLO:2
La tabla de verdad de la proposicin compuesta
p |q v (q . p) |

p q

p | q v ( q . p ) |


V V
V F
F V
F F


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

tautologa y contradicciones
En lgica proposicional es de
mucha importancia el estudio
de las proposiciones
compuestas que tienen la
propiedad de ser verdaderas
siempre, dichas proposiciones
se denominan tautologas
Una proposicin compuesta es
una contradiccin si es
siempre falsa, cualesquiera
sean los valores de verdad de
sus componentes
Nota :las proposiciones que no son
tautologas ni contradicciones se
llaman contingencias
p

p v ~ p )


V
F


V V F V
F V V F

p

p . ~ p )


V
F


V F F V
F F V F

EJEMPLO:
p v ~ p es una tautologa
En efecto:
2 1
En la columna 2 vemos
que esta proposicin
siempre es verdadera
En la columna 2 vemos
que esta proposicin
siempre es falsa
2 1
EJEMPLO:
p . ~ p es una contradiccin
En efecto:


Dadas las proposiciones :
P : El jueves es el examen q : El viernes viajo
Podemos escribir las proposiciones compuestas :
p . q
El jueves es el examen o el viernes viajo, o ambas cosas
p v q
El jueves es el examen o el viernes viajo, pero no ambas cosas
p v q
El jueves es el examen implica que el viernes viajo o
Si el jueves es el examen, entonces el viernes viajo
p q
El jueves es el examen si y solo si el viernes viajo
p q
El jueves es el examen y el viernes viajo
1 e 1 f
2 a b 2 c d
1 a b
1 c d

1) a) En la expresin
La comida es buena o el servicio es bueno, o ambas cosas

Las proposiciones involucradas son
p : La comida es buena q : el servicio es bueno
La expresin simblica es :
estn vinculadas con el conector o ; debe considerarse que al final se
especifica que pueden suceder ambas cosas
el conector que corresponde es DISYUNCION INCLUYENTE ( v )
1 b) En la expresin
La comida es buena o el servicio es bueno, pero no ambas cosas

Las proposiciones involucradas son
p : La comida es buena q : el servicio es bueno
La expresin simblica es :
estn vinculadas con el conector o ; debe considerarse que al final se
especifica que no pueden suceder ambas cosas
corresponde el conector de DISYUNCION EXCLUYENTE ( v )
p v q
p v q o p A q
1e 1 c-d 1f
Proposicin
Negacin
Operaciones
Ejemplos
Es un conjunto de proposiciones donde una de ellas,
llamada conclusin, se infiere o est fundada en las
otras llamadas premisas.
p
q

premisas
r
conclusin
ESQUEMA DE UN
RAZONAMIENTO:
El smbolo se lee: luego

Verdad lgica o Tautologa.
Son aquellas proposiciones que siempre son
verdad, sin importar los valores de verdad de
las proposiciones que la componen.
p q p . q (p.q)p
Consideremos la proposicin ((p . q) p)
F
V V
V
F V
F F
V
F
F
F
V
V
V
V
Contradicciones.
Son aquellas proposiciones que
siempre son falsas, sin importar los valores
de verdad de las proposiciones que la
componen.
VALIDEZ DE UN RAZONAMIENTO
Para probar la validez de un razonamiento se forma la tabla
de verdad de las premisas y la conclusin, y se comprueba
que siempre que las premisas son verdaderas la conclusin
tambin lo es.
EN ESTE CASO EL RAZONAMIENTO ES: LGICAMENTE VLIDO
UN RAZONAMIENTO QUE NO ES LGICAMENTE VLIDO SE LLAMA FALACIA
premisas conclusin
p q pq p q
V V V F F
V F F F V
F V V V F
F F V V V
p q
p

q
Un ejemplo
Este razonamiento es una falacia
Las reglas de inferencia se utilizan para asegurar
la validez de ciertos esquemas de razonamiento.
Cualquier razonamiento puede analizarse mediante la
tabla de verdad correspondiente, pero si intervienen
muchas proposiciones puede resultar muy trabajoso.
LA VALIDEZ DE UNA REGLA SE DEMUESTRA
MEDIANTE LA CORRESPONDIENTE TABLA
DE VERDAD.
MODUS PONENDO PONENS
(Afirmando afirmo)
p q Si llueve, entonces las calles se mojan (premisa)
p Llueve (premisa)

q Luego, las calles se mojan (conclusin)

La validez de esta regla se demuestra formando la tabla de verdad:
premisas conclusin
p q p q p q
V V V V V
V F F V F
F V V F V
F F V F F
MODUS TOLLENDO TOLLENS
(Negando niego)
p q Si llueve, entonces las calles se mojan (premisa)
q Las calles no se mojan (premisa)

p Luego, no llueve (conclusin)

Tabla de verdad de esta regla:
premisas conclusin
p q p q q p
V V V F F
V F F V F
F V V F V
F F V V V
MODUS TOLLENDO PONENS
(Negando afirmo)
p v q Es muy trabajador o tiene mucha suerte (premisa)
p No es muy trabajador (premisa)

q Luego, tiene mucha suerte (conclusin)

Tabla de verdad de esta regla:
premisas conclusin
p q p v q p q
V V V F V
V F V F F
F V V V V
F F F V F