LEYES DEL ALGEBRA PROPOSICIONAL

LEYES DEL ALGEBRA PROPOSICIONAL

2.- LEY DEL ALGEBRA DE PROPOSICIONES: Esta formada por equivalencias logicas , las cuales nos permiten simplificar un problema y expresarlo en forma mas sencilla 2.1) Leyes del tercio excluido: Una proposicin o es verdadera, o es falsa; no existe una tercera posibilidad. ppV ppF2.2) Ley de involucin o doble negacin: ~ (~ p)p2.3) Ley de idempotencia: ppp ppp2.4) Leyes conmutativas: pqqp pqqp pqqp2.5) Leyes asociativas: (pq)rp(qr) (pq)rp(qr)2.6) Leyes distributivas: p(qr)(pq)(pr) p(qr)(pq)(pr)2.7) Leyes de Morgan: (pq)pq (pq)pq2.8) Leyes condicionales: pqpq

2.9) Leyes bicondicionales: pq(pq)(qp)pq(pq)(pq)2.10) Leyes de absorcin: p(pq)p p(pq)p p(pq)pq p(pq)pq

2.11) Leyes de la no contradiccin: Una proposicin no puede ser falsa y verdadera a la vez. (pp)2.12) Leyes de complemento: (pp)V (pp)F

2.13) Formas normales para la conjuncin y disyuncin VVV FFF pVp pFp pFF pVVI P C E 2