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.

Esta tabla presenta los operadores lógicos oracionales:

imagen0.jpg

Las siguientes tablas ofrecen tablas de insumo-producto para los operadores lógicos oracionales:

image1.jpg

Lógica ayuda a llegar a conclusiones, que usted hace con la ayuda de las reglas de implicación para la lógica proposicional:

image2.jpg

Reglas de equivalencia para proposicional Lógica

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:

imagen0.jpg

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í:

imagen0.jpg

Y, cuando se habla de identidades, puede cuantificar declaraciones, usando las reglas en la tabla siguiente:

image1.jpg

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.


» » » Lógica para dummies