Capítulo 1: Lógica

Conceptos primitivos:
Los conceptos primitivos corresponden a ideas que no precisan definición.
En Lógica, los valores de verdad verdadero (V) y falso (F) son los conceptos
primitivos.

Una proposición se dice simple si no incluye

Un conectivo lógico es un operador que nos
permite obtener nuevas proposiciones a partir
de otras dadas. Los conectivos básicos son:
negación: ∼ (“no”)
conjunción: ∧ (“y”)
disyunción: ∨ (“ó”)
condicional: −→ (“si. . . entonces”)
bicondicional: ←→ (“si y sólo si”)
conectivos lógicos. En caso contrario, se dice
que la proposición es compuesta.
Valor de verdad de una proposición
compuesta
El valor de verdad de una proposición
compuesta depende de los valores de verdad
de las proposiciones que la componen y de
los conectivos empleados. Para analizar el
valor de verdad de una proposición
compuesta, usamos las tablas de verdad. La
tabla de verdad básica, para dos
proposiciones p y q, resume los posibles
valores de verdad de cada una de ellas.

Negación (∼)
Dada una proposición p, se llama negación de p, y se escribe ∼ p, a la proposición “no p”. Esto
significa que ∼ p es V si p es F, y ∼ p es F si p es V.
La tabla de verdad para la negación es:
 Conjunción (∧)
Dadas dos proposiciones p y q, su conjunción es la
proposición “p y q”, la cual se escribe p ∧ q. La
conjunción es V si ambas proposiciones p, q son
verdaderas, y F si hay al menos una proposición falsa.

Disyunción (∨)
Bicondicional (←→) Dadas dos proposiciones p y q, su disyunción es la
Dadas dos proposiciones p y proposición “p ó q”,
q, el bicondicional delaellas
cualesselaescribe p∨q. La disyunción es
proposición
V si al pmenos
“p si y sólo si q”, la cual se escribe una de lasseproposiciones
↔ q. También p, q es verdadera, y F
lee “p es condición
necesaria y suficiente para q”sip ambas
←→ qson falsas.
es V cuando las proposiciones
tienen el mismo valor de verdad. En los demás casos es F.

Condicional (→)
Dadas dos proposiciones p y q, el condicional de ellas es la
proposición “si p entonces q”, la cual se escribe p → q.
Aquí, p se llama antecedente y q el consecuente. También,
p → q se lee “p es condición suficiente para q”, o bien “q es
condición necesaria para p”. Así, p → q es F sólo si p es V y
q es F. En los demás casos es V .
 Tautología y Contradicción
Una proposición compuesta se dice que es una:
 tautología, si ella es siempre V, independiente de los valores de verdad que tomen
las proposiciones que la forman.
 contradicción, si ella es siempre F, independiente de los valores de verdad que
tomen las proposiciones que la forman.
 contingencia, si no es ni tautología ni contradicción

Implicancia y equivalencia lógica

 p implica lógicamente a q, si la proposición p → q es una tautología. En tal caso se

escribe p ⇒ q y se lee “p implica q”.
 p y q son lógicamente equivalentes, si la proposición p ↔ q es una tautología. En tal
caso se escribe p ⇔ q (o p ≡ q) y se lee “p es equivalente a q”.
Ejemplos
 p ↔ q tiene el mismo valor de verdad que (p → q) ∧ (q → p). Por lo tanto, (p ↔ q)
←→ [(p → q) ∧ (q → p)] es una tautología, y así, p ↔ q ⇐⇒ (p → q) ∧ (q → p).
 p∧ ∼ p es una contradicción.
 Otro ejemplo de contradicción es ∼ ([p ∧ (p → q)] → q).

Leyes lógicas
Las siguientes equivalencias se conocen como leyes lógicas.
 ∼ (∼ p) ⇔ p (Doble negación)
 ∼ (p ∧ q) ⇔ (∼ p) ∨ (∼ q)
 ∼ (p ∨ q) ⇔ (∼ p) ∧ (∼ q)
 ∼ (p → q) ⇔ (p) ∧ (∼ q) (Leyes de De Morgan)
 (p ∧ q) ⇔ (q ∧ p)
 (p ∨ q) ⇔ (q ∨ p) (Leyes conmutativas)
 (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
 (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) (Leyes asociativas)
 p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
 p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) (Leyes distributivas)
 p∧p⇔p
  p ∨ p ⇔ p (Leyes de idempotencia)
 p∨F⇔p
 p ∧ V ⇔ p (Leyes de identidad)
 p∧F⇔F
 p ∨ V ⇔ V (Leyes de dominación)
 p ∧ (∼ p) ⇔ F
 p ∨ (∼ p) ⇔ V (Leyes inversas)
 p ∧ (p ∨ q) ⇔ p
 p ∨ (p ∧ q) ⇔ p (Leyes de absorción)

Cuantificadores
Una función proposicional es una expresión p compuesta de una o más variables, que
se transforma en proposición con valor de verdad cuando dichas variables asumen
ciertos valores. El conjunto de validez de una función proposicional, es el conjunto de
valores de las variables que convierten la función proposicional en una proposición
verdadera.

Cuantificador universal
Para indicar que una función proposicional p(x) es verdadera para cualquier elemento
x de un determinado conjunto A, se usa el símbolo ∀, el cual se llama cuantificador
universal. El símbolo ∀ puede leerse: “para todo”, “cualquiera sea”, o “para cada”.
Así, la proposición:
∀x ∈ A, p(x)
se lee “Para todo x en A, p(x) es verdadera”.

Cuantificador existencial
Para indicar que una función proposicional p(x) es verdadera para
algún elemento x de un determinado conjunto A, se usa el símbolo
∃, el cual se llama cuantificador existencial. El símbolo ∀ puede
leerse: “existe (un)”, “existe al menos un”, o “existe
algún”. Así, la proposición:
∃x ∈ A, p(x)
se lee “Existe un x en A, tal que p(x) es
verdadera”.
 Cuantificador existencial único
Para indicar que una función proposicional p(x)
es verdadera para un único elemento x de un
determinado conjunto A, se usa el símbolo ∃!, el
cual se llama cuantificador existencial único. El
símbolo ∃! puede leerse: “existe un único”. o “existe
(un y) sólo un”. Así, la proposición:
∃!x ∈ A, p(x)
se lee “Existe un único x en A, tal que p(x) es verdadera”.

Negación de proposiciones con cuantificadores

Notar que, al incorporar cuantificadores a una función proposicional, lo resultante es
una proposición. Aquellas proposiciones que contengan un único cuantificador,
pueden negarse según las siguientes reglas:
 ∼ (∀x ∈ A, p(x)) ≡ (∃x ∈ A, ∼ p(x))
 ∼ (∃x ∈ A, p(x)) ≡ (∀x ∈ A, ∼ p(x))
 ∼ (∃!x ∈ A, p(x)) ≡ (∃x ∈ A, p(x)) ∨ (∀x ∈ A, ∼ p(x))