Vargas Arreola Darío Gabriel

Propón dos ejemplos de proposiciones en donde puedas poner en marcha la calificación por
parte de operadores lógicos, dos ejemplos para negación, dos ejemplos para conjunción,
dos ejemplos para disyunción, dos para condicional y dos para bicondicional.

Negación
Ejemplo 1: La Tierra no es plana.
Ejemplo 2: El agua no hierve a 4°C a presión atmosférica normal.

Conjunción
Ejemplo 1: El cielo es azul y las nubes son blancas.
Ejemplo 2: El sol sale por el este y se pone por el oeste.

Disyunción
Ejemplo 1: Hoy es lunes o es martes.
Ejemplo 2: El número 2 es par o es impar.

Condicional
Ejemplo 1: Si el cielo está nublado, entonces lloverá.
Ejemplo 2: Si el sol sale, entonces es de día.

Bicondicional
Ejemplo 1: Un número es par si y solo si su último dígito es par.
Ejemplo 2: Un triángulo es equilátero si y solo si sus tres lados tienen la misma longitud.

En estos ejemplos, se puede ver cómo los operadores lógicos se utilizan para combinar
proposiciones simples en proposiciones compuestas. La negación niega el valor de verdad
de una proposición, la conjunción afirma que ambas proposiciones simples son verdaderas,
la disyunción afirma que al menos una de las proposiciones simples es verdadera, la
condicional afirma que si la primera proposición simple es verdadera, entonces la segunda
también lo es, y la bicondicional afirma que ambas proposiciones simples tienen el mismo
valor de verdad.

Por ejemplo, la proposición "El cielo es azul y las nubes son blancas" es verdadera si y solo
si el cielo es azul y las nubes son blancas. La proposición "Hoy es lunes o es martes" es
verdadera si y solo si hoy es lunes o hoy es martes. La proposición "Si el cielo está nublado,
entonces lloverá" es verdadera si y solo si el cielo está nublado y llueve, o el cielo no está
nublado. La proposición "Un número es par si y solo si su último dígito es par" es verdadera
si y solo si un número es par y su último dígito es par, o un número no es par y su último
dígito no es par.