Escolar Documentos
Profissional Documentos
Cultura Documentos
1.- PROPOSICIÓN.-
Son oraciones, interrogativa la primera; imperativa la segunda y las dos ultimas son declarativas.
De las dos primeras no podemos decir que son verdaderas ni falsas, por cuanto una pregunta
puede formularse o no y una orden puede ser cumplida o no. En cambio de las dos ultimas que
son declarativas, tiene sentido decir que son verdaderas o falsas, a estas se denominan
proposiciones.
Entonces:
2.- CLASIFICACIÓN
ATÓMICAS, son las que NO utilizan conectivos lógicos o llamados también términos de enlace.
MOLECULARES, son las que SI utilizan conectivos lógicos o términos de enlace.
Se trata de una operación unitaria, por cuanto a partir de una proposición se obtiene otra que es su
negación y cuya tabla de verdad es:
p ∼p
V F
F V
4.b.- CONJUNCIÓN ( ∧ )
Es una operación donde intervienen siempre dos proposiciones y cuya tabla de verdad es :
p ∧ q
V V V
V F F
F F V
F F F
4.c.- DISYUNCIÓN ( ∨ )
Es también una operación que involucra a dos proposiciones y cuya tabla de verdad es:
p ∨ q
V V V
V V F
F V V
F F F
Observar que o en sentido incluyente es V, cuando una de las dos proposiciones es verdadera.
4
p ⇒ q
V V V
V F F
F V V
F V F
Operación asociada también al juego de dos proposiciones y cuya tabla de verdad es:
p ⇔ q
V V V
V F F
F F V
F V F
Llamada también disyunción excluyente, donde la verdad de la operación esta caracterizada por
la verdad de una y solo una de las proposiciones, su tabla de verdad es:
p ∨ q
V F V
V V F
F V V
F F F
5
INVOLUCIÓN : ∼ (∼ p) ≡ p IDENTIDAD:
p ∨ F ≡ p
V ∧ p ≡ p
p ∨ ∼ p ≡ V
IDEMPOTENCIA: p ∧ p ≡ p p ∧ F ≡ F
p ∨ p ≡ p p ∨ V ≡ V
CONMUTATIVIDAD:
p ∨ q ≡ q ∨ p
p ∧ q ≡ q ∧p
ASOCIATIVIDAD:
p ∧(q ∧ r) ≡ (p ∧ q) ∧r
p ∨(q ∨ r) ≡ (p ∨ q) ∨r
DISTRIBUTIVIDAD:
p ∧(q ∨ r) ≡ (p ∧ q) ∨ (p ∧r)
p ∨(q ∧ r) ≡ (p ∨ q) ∧ (p∨r)
6
EQUIVALENTES LÓGICOS:
p ⇒ q ≡ ∼p ∨ q
p ⇔ q ≡ (p ⇒ q) ∧(q ⇒ p)
LEYES DE D´MORGAN:
∼(p ∧ q) ≡ ∼p ∨ ∼q
∼(p ∨ q) ≡ ∼p ∧ ∼q
p ⇒ r
SILOGISMO DISYUNTIVO:
p ∨ q
p ⇒ r
q ⇒ s
r ∨ s
7
8.- CUANTIFICADORES
∼ [∃ x / P(x) ] ⇔ ∀ x / ∼ P(x)
La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con
un interruptor, donde el interruptor se cierra, si la proposición p es Verdadera y se abre si p es
Falsa.
p q
Se puede observar que este circuito admite el pasaje de corriente solo si las dos proposiciones son
verdaderas.
Se verifica que no pasa corriente, para el caso de que ambas proposiciones son falsas.