En cualquier sistema de lógica, se compara declaraciones para probar o refutar su validez. Con la lógica proposicional, se utilizan las siguientes reglas de equivalencia para hacer esas comparaciones:
Lógica para dummies
Trabajar con la lógica proposicional significa trabajar con un lenguaje diseñado para expresar argumentos lógicos con precisión y claridad. Para hacer uso de este lenguaje de la lógica, lo que necesita saber lo que los operadores utilicen, las tablas input-output para los operadores, y las reglas de implicación.
Conteúdo
Esta tabla presenta los operadores lógicos oracionales:
Las siguientes tablas ofrecen tablas de insumo-producto para los operadores lógicos oracionales:
Lógica ayuda a llegar a conclusiones, que usted hace con la ayuda de las reglas de implicación para la lógica proposicional:
Reglas de equivalencia para proposicional Lógica
Identidad y cuantificador Reglas para cuantificador Lógica
Lógica cuantificador abarca las reglas de la lógica proposicional y se expande sobre ellos para que pueda escribir declaraciones enteras con símbolos lógicos. Esos símbolos entran en juego cuando se trabaja con identidades, o constantes intercambiables. Las reglas de la identidad se muestran aquí:
Y, cuando se habla de identidades, puede cuantificar declaraciones, usando las reglas en la tabla siguiente:
Consejos para tomar un examen de Lógica
Tomando un examen en la lógica exige una cabeza clara y un plan claro. Los consejos de la siguiente lista puede ayudarle a acercarse a un examen de la lógica con la mejor oportunidad de demostrar su nivel de dominio:
Para empezar, mirando por encima de todo el examen para obtener una idea de lo que está cubierto.
Entre en calor con un problema fácil primero.
Rellene en la columna de las tablas de verdad por la columna.
Si usted sabe que cometió un error, dígalo - puede recibir crédito parcial.
Si el tiempo es corto, terminar las cosas tedioso.
Check - y haga doble verificación - su trabajo.