condicin o
(Conclusin)
P=
Q=
= Es el condicional.
(Proposicin)
(Conclusin)
P = Fui al cine.
Q = Me fui de compras.
v = Es la eleccin (o una proposicin o la otra)
PvQ
P
(Proposicin)
(Proposicin)
-------------------------------------------------------------Q
(Conclusin)
Si
Mara
esta
nadando,
entonces
estar
cansada
(Proposicin)
P = Llueve.
Q = Las calles se mojan.
R = La tierra tiembla.
S = Los edificios se caen.
PQ Si llueve, entonces las calles se mojan
(Proposicin)
(Proposicin)
PvR
(Proposicin)
CONCLUSIN
Las leyes de inferencia son reglas que nos sirven para probar que a partir
de unas proposiciones dadas es posible hacer la demostracin para
una
conclusin
especfica.
Su
objetivo
es
abreviar
las
demostraciones.
Las reglas de inferencia no deben confundirse con las leyes lgicas o
tautologas, puesto que stas no pertenecen al metalenguaje del clculo.
BIBLIOGRAFA