Loading presentation...

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 our knowledge base article

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

LEYES DE LOGICA PROPOSICIONAL - Ley de lógica proposicional

No description
by

Juan Leonardo Celis Jimenez

on 30 October 2016

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of LEYES DE LOGICA PROPOSICIONAL - Ley de lógica proposicional

LEYES DE LOGICA PROPOSICIONAL - Ley de idempotencia
LEY DE IDEMPOTENCIA
Esta ley dice que es la propiedad para realizar una acción determinada de veces y aun conseguir el mismo resultado. Por lo tanto esta ley significa igual valor.
p v p ≡ p
Leyes de lógica proposicional.
Una proposición lógica, compuesta por varias proposiciones representadas con letras y unidas entre sí con símbolos lógicos, que tenga la propiedad de que cuando se reemplazan las letras por proposiciones reales siempre resulta verdadera aunque algunas o todas esas proposiciones sean falsas, es lo que se l lama una LEY LÓGICA.
Leyes lógica proposicional
Lo anterior quiere decir que su función es simplificar proposiciones compuestas en proposiciones mas simples con un menor numero de estas o con menos conectores lógicos.
p ^ p ≡ p
p v p ≡ p
Primera ley: Es decir una proposición "o" la misma proposición es equivalente a la proposición.
Segunda ley: Es decir una proposición "y" la misma proposición es equivalente a la proposición.
p v p
p
V
V
F
F
p ^ p ≡ p
p
p ^ p
V
V
F
F
Ejemplos
1. ~q v ~q = ~q
2. ~(p →r) ^ ~(p →r) = ~(p →r)
3. ~r ^ ~r = ~r
4. ~t v ~t = ~t
5. (r↔~p) v (r↔~p) = (r↔~p)
Full transcript