Lógica Proposicional

Implicacion

* Si el circuito no funciona entonces, el diseño esta mal.

    P= El circuito no funciona

    Q= El diseño esta mal

  

    P -> Q

Bicondicional

* Ser rico significa lo mismo que ser feliz

  P= Ser rico

  Q= Ser feliz

  P <--> Q