Prezi

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in the manual

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

leyes de la logica proposicional

No description
by frey ballestero on 24 February 2013

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of leyes de la logica proposicional

aprender nos hace grades ley de identidad: ley de idempotencia: leyes de la lógica proposicional ley de involución: si p es una proposición simple o compuesta
entonces:

-(-p) p si p es una proposición simple o compuesta
entonces: p^(v) p p^(f) (f) p v (v) (v) v p (f) p si p es una proposición simple o compuesta
entonces: p^p p v ley conmutativa sean p,q proposiciones cual quiera simples o compuestas entonces: (p^q) (q^p)
(pvq) (qVp) ley asociativa sean p,q,r proposiciones
simples o compuestas entonces: (p^q)^r p^(q^r)
(pvq)vr pv(qvr) leyes de morgan sean p,q proposiciones cual quiera simples o compuestas entonces: -(p^q) (-pv-q)
-(pvq) (-p^-q) distributiva sean p,q,r proposiciones simples o compuestas entonces: p^(qvr) (p^q)v(p^r)
pv(q^r) (pvq)^(pvr) ley de implicación sean p,q proposiciones cual quiera simple o compuesta entonces: (p q) -pvq negación de una implicación -(p q) p^-q sean p,q proposiciones simples o compuestas
entonces: p p p diferencia simétrica sean p,q proposiciones simples o compuestas
entonces (pvq) -(p q) doble implicación sean p,q proposiciones simples
o compuestas entonces (p q) (p^q)v(q^p)
See the full transcript