Please enable JavaScript.

Coggle requires JavaScript to display documents.

Leyes de Logica (Leyes Conmutativas (P^Q≡Q^P (Ejemplo (r^(~t^s)≡r^(s^~t)))…

- - - - r^(~t^s)≡r^(s^~t)
- - - - Ejemplo
        
        Pv[(RvS)^(TvQ)]≡[Pv(RvS)]^[Pv(TvQ)]
- - - - Ejemplo
        
        r^(~t^s)≡(r^~t)^s

Create your own diagrams like this for free with Coggle

made for free at coggle.it

Leyes de Logica

Ariel Campos 1A

Leyes Conmutativas

Leyes Asociativas

Leyes Distributivas

P^Q≡Q^P

P↔Q≡Q↔P

PvQ≡QvP

Ejemplo

r^(~t^s)≡r^(s^~t)

click to edit

• p^(q^r)=(p^q) ^r

• p↔(q↔r)=(p ↔q)↔p

• pv(qvr)=( pvq)vr

Ejemplo

r^(~t^s)≡(r^~t)^s

click to edit

• p→ (qvr)=(p →q) v (p→r)

• p→ (q^r)=(p →q) ^(p→r)

• pv(q^r)=(pvq) ^ (pvr)

• p^(qvr)=(p^q) v(p^r)

Ejemplo

Pv[(RvS)^(TvQ)]≡[Pv(RvS)]^[Pv(TvQ)]

Ariel Campos 1A