formalizar las proposiciones siguientes, utilizando los símbolos correspondientes a cada término de enlace.

1. En el hemisferio sur, julio no es un mes de verano.
2. Si dos pulsaciones se atraviesan, continúan conservando la forma original.
3. O Jaime no es puntual o Tomas llega tarde.
4. Ni Antonio ni Ana estudian en la universidad.
5. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero.
6. Si este cuadro es negro entonces aquel cuadro es rojo y su rey está sobre el cuadro rojo.
7. A la vez, si este cuadro es negro, entonces, aquel cuadro es rojo y su rey está sobre el cuadro rojo.
8. Patinaremos sí y sólo si el hielo no es demasiado delgado.

2 Formaliza las siguientes proposiciones y contruye la tabla de verdad de cada una:

a. No es cierto que no me guste bailar

b. Me gusta bailar y leer libros de ciencia ficción.

c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.

d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre.

e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.

f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me internaran en un psiquiátrico.

g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

Nota: Debes entregar los ejercicios en una carpeta amarilla,con tu nombre y apellido.El dia sábado.

el profesor

]Como se mecionó en la sección anterior para formar expresiones compuestas necesitamos conectivos lógicos, empezaremos por un conectivo unitario; esto es, se aplica a una proposición sola.

La Negación

La operación unitaria de negación, no es cierto que se representa por “¬” y tiene la siguiente tabla de verdad de verdad

Ejemplo. Encuentre la negación de las expresiones siguientes:

i) Júpiter es un planeta
ii) El pizarrón es verde
iii) El número real x es negativo
iv) Algún elefante es de color rosa
v) Ningún pez respira fuera del agua
vi) Todos los leones son feroces

Solución:

i) Júpiter no es un planeta
ii) El pizarrón no es verde
iii) El número real x no es negativo o también El número real x es positivo ó cero
iv) Ningún elefante es de color rosa
v) Algún pez respira fuera del agua
vi) Algún león no es feroz

Nota: Las tres últimas proposiciones se derivan de proposiciones abiertas que veremos en la sección 1.4 Calculo de Predicados Definicion.

Hacer los ejercicios del 10 al 16 Ejercicios MCI 2

La conjunción de las proposiciones p, q es la operación binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es:

La conjunción nos sirve para indicar que se cumplen dos condiciones simultáneamente, así por ejemplo si tenemos:

La función es creciente y está definida para los números positivos, utilizamos

p ^ q, donde

p: la función es creciente
q: la función esta definida para los números positivos
Así también: p ^ q, donde

p: el número es divisible por 3
q: el número está representado en base 2

se lee: El número es divisible entre 3 y está representado en base 2.

Nota: Observamos que para la conjunción p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.

La disyunción de dos proposiciones p, q es la operación binaria que da por resultado p ó q, notación p v q, y tiene la siguiente tabla:

Con la disyunción a diferencia de la conjunción, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresión p ∨ q sea verdadera.

Así por ejemplo la expresión: el libro se le entregará a Juan o el libro se le entregará a Luis significa que si va uno de los dos, el libro se le entrega, si van los dos también se entrega y solamente en caso de que no vaya ninguno de los dos no se debe entregar.

Aquí debemos tener cuidado, porque en español muchas veces utilizamos la disyunción para representar otros operadores que aparentemente son lo mismo, pero que tienen diferente significado.

En español tenemos tres casos de disyunción:

La llamada y/o bancaria, lógica o matemática, que es la misma y se utliza en computación como el operador OR, este operadorcorresponde al mencionado anteriormente p v q y ya se mostró su tabla de verdad.

La o excluyente, que algunos también le llaman o exclusiva, y que indica que una de las dos proposiciones se cumple, pero no las dos. Este caso corresponde por ejemplo a: Hoy compraré un libro o iré al cine; se sobrentiende que una de las dos debe ser verdadera, pero no la dos. Se representa por p XOR q y su tabla de verdad es:

Por último, también es muy común utilizar una disyunción como la siguiente: El menú incluye café o té. En este caso se esta dando una disyuntiva diferente pues no se pueden las dos simultáneamente como en el caso anterior, pero aquí si es válido el caso donde las dos son falsas. Es el caso “no ámbas”, se puede representar por p § q y su tablas es

Nota: El último símbolo no es estándar y puede haber varias formas de representarlo.

Un buen ejercicio consiste en enunciar varias expresiones del español que utilizando los conectivos y o para analizar cuál de los operadores es.

Hay que tener mucho cuidado cuando se traduce del lenguaje usual por las costumbres, muchas veces depende del contexto o de la situación específica en la que se usan los conectivos, por ejemplo si decimos: Se pueden estacionar alumnos y maestros, en realidad se está queriendo decir un operador disyuntivo, en este caso la o matemática, o sea el primer operador que corresponde a la primera tabla de esta sección.

La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de verdad está dada por:

Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso.

Por ejemplo, si p es llueve y q es hay nubes entonces:

p → q es si llueve entonces hay nubes.

También cabe señalar que este viene a ser el operador más importante en el proceso deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se pueden enunciar utilizando este operador.

La bicondicional de dos proposiciones p, q da lugar a la proposición; p si y sólo si q, se representa por p ↔ q su tabla de verdad está dada por: