Logica o Calclulo Propisicional Leyes ICESI

Enviado por Programa Chuletas y clasificado en Otras materias

Escrito el en español con un tamaño de 1,06 KB

1.avb=bva .... a^b=b^a leyes conmutativas
2. Av~A=V Ley del tercio excluido
3. A ^ ~A= F Ley de contradiccion
4. AvF =A leyes de identidad A^V=A
5. A^A=A AvA=A ley de Impotencia
6. ~(~A)=A Doble Negacion
7. (AvB )vC=Av( B vC) Leyes Asociativas ...(A ^ B)^ C=A^( B ^ C)
8. (AvB ) ^ (Av C ) =Av(B^C)...(A^B)v(A^C)=A^(BvC) Leyes Distributivas
9. (A=>B)=(~B=>~A) Ley De transpos.
10. ~(A^B)=~Av~B..~(AvB)=~A^ ~B Ley de Mrgn
11. A=>B=~AvB = Definicion Condic.
.
Deduccion Natural Inferencia
(A,A=>A)=B MP..(A=>B,~B)=~A MT
(A=>B, B=>C)=A=>C Silo Hipotetico
(AvB, ~A)=B...(AvB, ~B)=A Silo Disy.
((A=>B,C=>D, AvC)=BvD Dilema Constructivo
A^B=A....(A^B)=B Simplificacion
(A,B)= A^B Conjuncion
(A)= AvB...(A)=BvA

Entradas relacionadas: