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.
Aprende las principales leyes lógicas de la implicación, equivalencia, idempotencia, conmutatividad, asociatividad, distributividad, Morgan, condicionales y bicondicionales. También aprende el método abreviado para verificar inferencias lógicas con la condicional material.
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 estudia las variables proposicionales y sus implicaciones. En este sitio web encontrarás su definición, características, historia, elementos, propiedades, reglas, tabla, importancia y ejemplos.
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.
