Está en la página 1de 2

P

RCI

DO
LÓGICA PROPOSICIONAL
N

Profesor: Mauro Tarazona Albaro

CONECTIVOS LÓGICOS:
LENGUAJE COMÚN SÍMBOLO NOMBRE
….. y ….. ∧ Conjunción
….. ó….. ∨ Disyunción inclusiva
Si……entonces → Condicional
…si y solo si… ↔ Bicondicional
ó……ó ∆ Disyunción exclusiva
…no es cierto que… Negación

TABLA DE VERDAD DE LOS CONECTIVOS LÓGICOS:

pq p ∧q p ∨q p→q p↔q p∆q


V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F

Conjunción ( p ∧q ): “ p y q ”; además q ; sin embargo q ; pero q ; cada vez que q ; no obstante q


Condicional ( p → q ): “Si p entonces q ; sólo si q ; si q ; implica q ; dado que q ; porque q
Bicondicional ( p ↔ q ): si y solo si q ; si y solamente si q ; es una condición necesaria y suficiente para q

TAUTOLOGÍA: Es una formula lógica en la que todos los valores de verdad obtenidos son verdaderos.
CONTRADICCIÓN: Es aquella formula lógica en la que todos los valores de verdad son falsos.
CONTINGENCIA: Formula lógica en la que algunos valores de verdad son verdades y otros falsos.

LEYES LÓGICAS: Las leyes de la lógica proposicional son equivalencias lógicas que nos permiten simplificar un problema y
expresarlo en forma más sencilla, las demostraciones se hacen construyendo la tabla de verdad en cada caso.

1) Ley de la Idempotencia: p∨ p≡ p p∧ p≡ p
2) Ley Conmutativa: p ∨q ≡ q ∨ p p ∧q ≡ q ∧ p p ↔ q ≡q ↔ p p∆q≡q∆ p
3) Ley Asociativa: ( p ∨q ) ∨ r ≡ p∨ ( q ∨ r ) ( p ∧q ) ∧ r ≡ p∧ ( q ∧ r )
4) Ley Distributiva: p ∨ ( q ∧ r ) ≡ ( p ∨q ) ∧ ( p ∨ r ) p ∧ ( q ∨ r ) ≡ ( p ∧q ) ∨ ( p ∧ r )
5) Ley de Morgan: ( p ∨q ) ≡ p ∧ q ( p ∧q ) ≡ p ∨ q
6) Ley del Complemento: p ∨ p ≡V p∧ p≡F ( p) ≡ p
7) Ley de la Identidad: p ∨V ≡V p∨F≡ p p∧F≡F p ∧V ≡ p
8) Ley de la Condicional: p → q ≡ p ∨q p→q≡ q→ p
9) Ley de la Bicondicional: p ↔ q ≡ ( p →q ) ∧ ( q → p ) p ↔ q ≡ ( p ∨q ) ∧ ( q ∨ p ) p ↔ q ≡ ( p ∆ q )
10) Ley de Absorción: p ∨ ( p ∧q ) ≡ p p ∧ ( p ∨q ) ≡ p p ∨ ( p ∧q ) ≡ p ∨ q p ∧ ( p ∨q ) ≡ p ∧ q
CIRCUITOS LÓGICOS:

Circuito en serie: • p q • ¿ p ∧q

Circuito en paralelo: p
• • = p ∨q
q

También podría gustarte