Simbolos de Logica

y

• ^

• ->

• <->

• ~

Así que

• v

• ->

• ∴

• <->

Si y solo si

• ->

• <->

• v

• ∴

p: Voy a la tienda

q: Compro una camisa

Si yo no voy a la tienda, entonces no compro una camisa

• ~ q <-> ~ p

• q -> p

• p <-> q

• ~p -> ~q

p: Voy a la tienda

q: Compro una camisa

Yo compro una camisa o voy a la tienda

• ~ p v q

• q ^ p

• q v p

• p -> q

p: Yo estudio para la prueba

q: Yo voy a la escuela

Yo no estudio para la prueba así que yo voy a la escuela

• p v q

• ~ q ∴ ~p

• ~ p v q

• ~ p ∴ q

p: Yo estudio para la prueba

q: Yo voy a la escuela

Si yo voy a la escuela, entonces yo no estudio para la prueba

• q -> ~ p

• p ∴ q

• q <-> ~ p

• ~ p ∴ ~ q

p: Me despierto tarde

q: No como desayuno

No me despierto tarde si y solo si como desayuno

• ~ p <-> ~ q

• ~ p -> q

• q <-> ~ p

• p ^ q

p: Me despierto tarde

q: No como desayuno

Como desayuno y me despierto tarde

• ~ q v p

• ~ q ^ p

• q ^ ~ p

• ~ q v ~ p

p: Él va al parque

q: Él juega futbol

r: Ellos traen a sus amigos

Él juega futbol y él va al parque o ellos traen a sus amigos

• q ^ p v r

• p v q v r

• q ^ r ^ p

• q v p ^ r