Lógicamente usamos conectores, estos unen dos proposiciones, es decir, dos oraciones que pueden ser falsas o verdaderas.
Entonces tenemos el conectivo o.
O es un conectivo en el que si una de las proposiciones es verdadera, la oración completa es verdadera.
Si la oración es "el auto es rojo o azul", entonces si el auto tiene uno de los colores, la oración es verdadera.
Si el conectivo es "e", ambas proposiciones deben ser verdaderas.
Paulo es grande y fuerte.
Si Paul no es grande, o si Paul no es fuerte, la oración es falsa.
También tenemos condicionales, los condicionales determinan condiciones que deben cumplirse.
La oración lógica que vemos, la leemos.
si x es mayor que y entonces y es positivo
Ahora la siguiente oración dice lo siguiente,
x es mayor que y si y solo si y es positivo
Ahora, veamos algunos ejemplos.
dejemos que p sea una proposición yq sea otra proposición.
p: 9 es diferente de 5
q: 9 es igual a 5
Ahora, p es verdadero porque 9 es diferente de 5
q es falso porque 9 no es igual a 5.
Pero si niego p, entonces p se vuelve falso
Leemos 9 no es diferente de 5, por eso, 9 es diferente de 5, por lo que la negación de la verdad es falsa.
Usando los conectivos.
9 es diferente de 5 o 9 es igual a 5.
Ahora, si una de las proposiciones es verdadera, entonces la oración es verdadera.
9 es diferente de 5 y 9 es igual a 5.
Ahora, si una de las proposiciones es falsa, entonces toda la oración es falsa.
Con los condicionales podemos ver:
Este condicional determina que si el primero es verdadero y el segundo es falso, entonces la oración es falso, cualquier otro es cierto.
si 9 es diferente de 5, entonces 9 es igual a 5, lo
cual es falso, pero si negamos q tenemos.
si 9 es diferente de 5, entonces 9 no es igual a 5.
Lo que hace que la oración sea verdadera.
En este condicional tenemos que si uno es verdadero y el otro es falso, entonces la oración es falsa.
9 es diferente de 5 si y solo si 9 es igual a 5. ¡
Lo cual es falso!
9 es diferente de 5 si y solo si 9 no es igual a 5. ¡
Lo cual es cierto!
9 no es diferente de 5 si y solo si 9 no es igual a 5. ¡
Lo cual es falso!
Por lo tanto, las construcciones lógicas nos ayudan a comprender los conceptos de manera racional y secuenciada.
Entonces tenemos el conectivo o.
O es un conectivo en el que si una de las proposiciones es verdadera, la oración completa es verdadera.
Si la oración es "el auto es rojo o azul", entonces si el auto tiene uno de los colores, la oración es verdadera.
Si el conectivo es "e", ambas proposiciones deben ser verdaderas.
Paulo es grande y fuerte.
Si Paul no es grande, o si Paul no es fuerte, la oración es falsa.
También tenemos condicionales, los condicionales determinan condiciones que deben cumplirse.
La oración lógica que vemos, la leemos.
si x es mayor que y entonces y es positivo
Ahora la siguiente oración dice lo siguiente,
x es mayor que y si y solo si y es positivo
Ahora, veamos algunos ejemplos.
dejemos que p sea una proposición yq sea otra proposición.
p: 9 es diferente de 5
q: 9 es igual a 5
Ahora, p es verdadero porque 9 es diferente de 5
q es falso porque 9 no es igual a 5.
Pero si niego p, entonces p se vuelve falso
Leemos 9 no es diferente de 5, por eso, 9 es diferente de 5, por lo que la negación de la verdad es falsa.
Usando los conectivos.
9 es diferente de 5 o 9 es igual a 5.
Ahora, si una de las proposiciones es verdadera, entonces la oración es verdadera.
9 es diferente de 5 y 9 es igual a 5.
Ahora, si una de las proposiciones es falsa, entonces toda la oración es falsa.
Con los condicionales podemos ver:
Este condicional determina que si el primero es verdadero y el segundo es falso, entonces la oración es falso, cualquier otro es cierto.
si 9 es diferente de 5, entonces 9 es igual a 5, lo
cual es falso, pero si negamos q tenemos.
si 9 es diferente de 5, entonces 9 no es igual a 5.
Lo que hace que la oración sea verdadera.
En este condicional tenemos que si uno es verdadero y el otro es falso, entonces la oración es falsa.
9 es diferente de 5 si y solo si 9 es igual a 5. ¡
Lo cual es falso!
9 es diferente de 5 si y solo si 9 no es igual a 5. ¡
Lo cual es cierto!
9 no es diferente de 5 si y solo si 9 no es igual a 5. ¡
Lo cual es falso!
Por lo tanto, las construcciones lógicas nos ayudan a comprender los conceptos de manera racional y secuenciada.