Professional Documents
Culture Documents
UNIVERSITARIO:
DIEGO ARMANDO CONDORI CHAVARRIA
Introduccin
a la lgica
simblica
Proposicin
Es toda expresin lingstica respecto de la cual
tiene sentido afirmar que es verdadera o que es
falsa.
Las representaremos por las letras p,q,r,setc.
El mono es viejo
Patria de traidores
Estos perros
El valor de verdad de
una proposicin V(p)
El valor de verdad de una proposicin puede ser V o F. Se
dice que el valor de verdad es V si es verdadera y F si es
falsa.
Ejemplo:
p = El pltano es mineral
V(p) = F
Operaciones con
proposiciones
proposicin
resultante
mediante
operaciones
No
(negacin),
(disyuncin),
Negaci
nefectuar con una sola proposicin).
Es una operacin monaria (se puede
Conectivo lgico: (adverbio de negacin: NO).
Ejemplo:
V
F
F
V
Tabla de verdad de
la conjuncin
Conectivo lgico: (= y)
Ejemplo:
p = Mi novia es bonita
q = Mi novia es gorda
p q = Mi novia es bonita y mi novia es gorda
= Mi novia es bonita y gorda
V
V
F
F
F
V
F
V
F
F
V
F
F
F
F
Tabla de verdad de
la disyuncin
Ejemplo:
p = Juan es genial
q = Juan es mediocre
p q = Juan es genial o es mediocre
V
V
F
F
V
F
V
F
V
V
V
F
Implicacin o condicional
Es una operacin binaria
Conectivo lgico:
Tabla de verdad de
la implicacin
Ejemplo:
Si q = Juan tiene xito
p = Juan se esfuerza
p q = Si Juan se esfuerza entonces
tiene xito
V
V
F
F
V
F
V
F
V
F
V
V
Doble Implicacin o
bicondicional
Tabla de verdad de la
Conectivo lgico:
Ejemplo:
Si p = Hay buena cosecha
q = La tierra es frtil
p q = Hay buena cosecha si y
solo si la tierra es frtil
doble implicacin
V
V
F
F
F
V
F
V
F
F
V
F
F
V
V
Contingenci
aformula proposicional cuya tabla de verdad toma por lo menos una vez el valor de verdad V, y
Es una
por lo menos una vez el valor de falso F.
Tautolog
Es a
una formulas proposicional que es siempre verdadera.
Antitatologia
Condicionales asociadas
(Implicacin conjugada). Son recprocos, contrarios, y contrarecprocos.
FIN DE LA EXPOSICIN
GRACIAS POR SU
ATENCIN!