Lógica...Tablas de verdad.

Combertir enunciados a forma simbólica:

para poder convertir enunciados simples a simbológía,es necesario dar primero a un valor a nuestras variable; en este caso p= Mayra es bonita y q= Mayra tiene novio:

1.- Si Mayra es bonita, entonces tiene novio= p -> q

2.- Mayra no es bonita y tiene novio= -p ^ q

3.- No es cierto que mayra no es bonita y no tiene novio= -(-p ^-q)

4.- Mayra es bonita o tiene novio= p v q

5.- Mayra es bonita y tiene novio= p ^ q

convertir de simbolos a lenguage natural:

p= Pedro es moreno y q=Pedro tiene ojos verdes

1. p ^ q = Pedro es moreno y tiene ojos verdes

2. --q = No es cierto que Pedro no tiene ojos verdes

3. q^-p= Pedro tiene ojos verdes y no es moreno.

4. p -> -q= Si pedro es moreno, entonces no tiene ojos verdes.

5. p v q = Pedro es moreno o tiene ojos verdes.