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.
- Lógica Matemática
La lógica proposicional es una rama de la lógica que se...
- Teoría de Conjuntos
La teoría de conjuntos es una rama de las matemáticas que...
- Conectores Lógicos
En lógica proposicional se trabaja con seis conectores...
- Lógica Matemática
Leyes notables en lógica. 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
Ejemplo 1. Ejemplo 2. 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.
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.
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).
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor ...
