Resultado de búsqueda
En este artículo veremos una lista de las leyes lógicas más importantes y utilizadas en lógica proposicional. Índice. ¿Qué es una ley lógica? Leyes lógicas básicas. Involución. Leyes de De Morgan. Conmutatividad. Asociatividad. Distributividad. Ley del tercer excluido. Ley de la no contradicción. Idempotencia. Leyes de identidad.
Los 3 principios lógicos. Ley de identidad. Ley de no contradicción. Ley del tercio excluido. Equivalencias notables. Ley de involución. Leyes de idempotencia. Leyes conmutativas. Leyes asociativas. Leyes distributivas. Leyes de Morgan. Leyes condicionales. Leyes bicondicionales. Leyes de absorción. Leyes de transposición. Leyes de exportación.
Entre las reglas de la lógica proposicional clásica algunas de la más notables son listadas a continuación: Ley de doble negación; Leyes de idempotencia; Leyes asociativas; Leyes conmutativas; Leyes distributivas; Leyes de De Morgan
Definición: una proposición es un enunciado declarativo que tiene sentido completo y que puede ser verdadero o falso. Algunos ejemplos de proposiciones son: “Júpiter es el planeta más grande del Sistema Solar” “A los gatos no les gusta el agua” “La Tierra orbita alrededor del Sol” “2 es un número par” “El Támesis es caudaloso”
La lógica proposicional es una rama de la lógica clásica que se encarga de analizar y estudiar las diferentes variables proposicionales o la sentencias lógicas así como sus posibles implicaciones, evaluaciones relacionadas con la verdad y el nivel absoluto de la misma. Definición. Características de la lógica proposicional. Historia.
Capítulo I. Lógica proposicional 6 () p pq qpq ⇒∨ ⇒∨ Leyes de inferencia de la alternativa o de los silogismos disyuntivos [ ] [] () ppq q p pq q ¬∧ ∨ ⇒ ∧ ¬∨¬ ⇒¬ Leyes de transitividad o del silogismo hipotético [ ] [] ()( )( ) ()( )( ) p qq r p r p qq r p r →∧→ ⇒ → ↔∧↔ ⇒ ↔ Ley del dilema constructivo
1.1.1 Proposiciones y Conectivos Lógicos. En un intento por sistematizar el razonamiento matemático, surge el concepto de Lógica Proposicional. Como su nombre lo explícita, trabajaremos con proposiciones lógicas; las cuales poseen un valor de verdad (verdadero o falso). Por convención, las denotaremos con letras minusculas.
