Lògica d’enunciats

El sol no luce

• p

• p ^ q

• ~ p

• p v q

No es cierto que Antonio irá a Toledo

• q

• q -> p

• p -> q

• ~ q

Machado es poeta

• p ^ q

• q -> p

• p <-> q

• p

Si luce el sol, iremos a la playa.

• p ^ q

• p -> q

• p

• q

Los trigales hablan o los cipreses lloran.

• p ^ q

• p

• p -> q

• p v q

La catedral de León es gótica

• p ^ q

• p -> q

• p

• p <-> q

María es aficionada al tenis, pero no al fútbol

• p ^ q

• p ^ ~ q

• p v q

• p v ~ q

Se buscan personas con barba o gafas

• p ^ q

• p -> q

• p <-> q

• p v q

Quien a hierro mata, a hierro muere.

• p -> q

• p v q

• p ^ q

• p ^ ~ q

Si los elefantes se fugan, entonces el domador se quedará muy triste.

• p -> q

• p ^ q

• p v q

• p