Propiedade

Apuntes

Propiedades de la conjunción y la disyunción Criado Corredor Traído Edificar Notas (p^q) = (q^p) [(p^q)r] = [p^(q^r)] (pop) = p (p^1) = p (p^0) = 0 Conmutativa Asociativa Idempotencia Identidad Absorción (pvq) = (qvp) [(pvq)vr] = [pv(qvr)] (pvp) = p (pv0) = p (pv1) = 1 Álgebra de Proposiciones Leyes de los operadores de la vegación conjunción y diagnóstico tal Siva -0=1 01- -(p) = p pv(q/r) = (pvg)^(pvr) p^(qvr) = (png)v(par) -(p^q) = (-pv-q) (b-vd-) = (b^d) (pv-p) = 1 0 = (dvd) (db) = (bed) (pq) = (-pvq) (pq) = (pvq) (bvd) = (b+d) Leyes de la multiplicación y bicondicional [(pr)^(gr)] = [(pvg)→r] [(pq)^(pr)] = [p→(q^r)] [(p^q)→r] = [p→(q→r)] (pq) = [(p^-q)→0] [(db)v(bed)] = (bd) (db) = (b↔d) Negación Doble negación o involutiva distributivas De Morgan Tercero excluido Contradicción Contrapositiva o contraria Implicación Exportación Reducción al absurdo Equivalencia