PROPOSICIONES
Una proposición es una unidad que puede ser verdadera o puede ser falsa.
Ejemplos :
- El 9 y el 27 son factores del 81.
- Esa caja es de madera.
- Los animales carnívoros se alimentan de plantas.
- La tierra es plana.
- El numero 1 es un numero natural.
PROPOSICIONES SIMPLES: Son aquellas oraciones que no están afectadas con los operadores lógicos.
Ejemplos:
- Carlos Fuente es un escritor.
- El 14 y el 7 son factores de 42.
- El 2 o el 3 son divisores de 48.
PROPOSICIONES COMPUESTAS: Una proposición es compuesta si no es simple, es decir que se ven afectadas por los operadores lógicos.
Ejemplos:
- El 14 es factor del 42 y el 7 también es factor de 42.
- El 2 es divisor de 48 o el 3 es divisor de 48.
- Si x es un numero primo, entonces x es impar.
Ejemplos de proposiciones simples y compuestas.
OPERADORES LÓGICOS
Los operadores lógicos son aquellos símbolos que se utilizan para resolver una tabla de verdad.
- NEGACIÓN (¬): cambia el valor de una proposición, es decir si es falsa cambia a verdadera.
- CONJUNCIÓN (^): Es verdadera cuando ambas proposiciones son verdaderas.
Se representa como "y" "pero" "mas".

- DISYUNCIÓN (v): Es falso cuando ambas proposiciones son falsas.
- DISYUNCIÓN EXCLUSIVA (⊻) :Es verdadera cuando la primera o la segunda sea verdadera.
- CONDICIONAL (→):Es falsa cuando la primera sea verdadera y la otra falsa.
RECIPROCA: Se invierte la posición de las proposiciones.
( a → b ) = ( b → a )
( a → b ) = ( b → a )
INVERSA:Niega las dos proposiciones.
( a→ b ) = ( ¬a → ¬b )
CONTRA-RECIPROCA: Invierte la posición de las proposiciones y las niega a la ves.
(a→b) = (¬b → ¬a)
(a→b) = (¬b → ¬a)
- BICONDICIONAL (↔): Sera verdadera cuando ambas proposiciones sean iguales.

Como se aplica todos los operadores lógicos.
TAUTOLOGIA
Todos los valores predeterminados son verdaderos.
Ejemplo:
CONTINGENCIA
Las proposiciones son verdaderas y falsas.
Ejemplo:

CONTRADICCIÓN
Todas las proposiciones son falsas.
Ejemplo:
Ejemplos de tautologia, contradiccion, contingencia.
GRACIAS POR SU ATENCIÓN.
me gusta
ResponderEliminar