LÓGICA FORMAL

Símbolos de lógica de enunciados

(vocabulario)
Letras enunciativas a, b, c, …z
(con subíndices si es necesario) a1, b1, c1, a2, b2, h37, n456, …
Conectivas ®, Ø, Ú, Ù, «
Paréntesis y corchetes ( , ), [ , ]
Reglas de formación de LE (sintaxis)

■1. Toda letra minúscula es una fbf de LE.

■2. Si A es una fbf, entonces ØA es una fbf.
■3. Si A y B son fbfs, entonces (AÙB) es una fbf.
■4. Si A y B son fbfs, entonces (AÚB) es una fbf.
■5. Si A y B son fbfs, entonces (A®B) es una fbf.
■6. Si A y B son fbfs, entonces (A«B) es una fbf.
■7. Todas las fbfs de LE pueden ser generadas aplicando estas
reglas.
 Conjunción (AʌB): "A y B", "A pero B", “aunque B, A", "A,
también B", "A así como B", “a pesar de A, B", "A sin embargo B".

Disyunción (AvB): "A o B", “o bien A o bien B", "A a menos que
B", “salvo que B, A".
Reglas de
formalización Condicional (A→B): “si A entonces B", "A solo si B", "B si A",
“siempre que A, B", "A por tanto B", "B supuesto que A", “dado
que A, B", "A es suficiente para B", "B es necesario para A“, “de A
se sigue B”, “A por consiguiente B”, “A, así que B”

Bicondicional (A↔B): "A si y solo si B", "A es equivalente a B",

"A cuando y solo cuando B", "A es necesario y suficiente para B“,
“A a menos que B”, “A salvo que B”
Formalización
■ Enunciado atómico: “Llueve”

“Llueve” puede expresarse con cualquier letra enunciativa

■ Enunciado molecular: “Llueve y hace frío”

“Llueve y hace frío” debe expresarse con dos letras enunciativas distintas (p:
“llueve”, q: “hace frío”) y una conectiva (la conjunción)

(pÙq)
Convenciones y conectivas dominantes
Permitir convenciones notacionales significa que aceptamos eliminar ciertos
paréntesis si su ausencia no hace ambigua la expresión. Esto atañe
fundamentalmente a los paréntesis externos de cualquier fórmula. Permitir
convenciones notacionales es también útil para hallar la conectiva dominante de
una fórmula (la que está fuera de los paréntesis). En caso de duda existe una regla
de dominancia entre conectivas.

La dominancia de las conectivas es como el orden de las operaciones en

aritmética. Esta es la lista, en orden:

1. Bicondicionales
2. Condicionales
3. Conjunciones y disyunciones, en orden de aparición de izquierda a derecha
4. Negaciones
Formalización

(a) “Si estudias y vienes a clase, aprobarás.”

p = estudias
q = vienes a clase
r = aprobarás

Formalización: ((pÙq)→r)
Formalization
(b) “No es cierto que abandonara a mi gato y odie las cebollas”

p = abandoné a mi gato
q = odio las cebollas

Formalización: Ø(pÙq)
Formalización (con convenciones
notacionales)
(c) “Si te cogen copiando en el examen no aprobarás y, o bien
te expulsan o bien te castigan con deberes extra.”

p = te cogen copiando en el examen

q = apruebas
r = te expulsan
s = te castigan con deberes extra

Formalization: p®[ØqÙ(rÚs)]
Formalizaciones complejas: “a menos que” y “salvo que”
“A menos que" se traduce normalmente como “o". Para entender por qué ha de traducirse "p a menos
que q" como "(p∨q)" veamos el siguiente ejemplo:
No aprobarás a menos que hagas el examen.
No parece que el profesor esté prometiendo al alumno que aprobará si hace el examen (condición
suficiente). Más bien está diciendo que si el alumno no hace el examen, entonces no aprobará (condición
necesaria), esto es, o bien hace el examen o no aprobará:
(Haces el examen ∨ no aprobarás) que es lo mismo que (No aprobarás ∨ haces el examen)
No obstante, la formalización de “a menos que…” empleando la disyunción parece menos apropiada
en otros contextos. Supongamos que Raúl y Ana están decidiendo si van a una fiesta o no, y dice Ana:
No iré a menos que vayas tú.
Aquí parece que la asistencia de Raúl a la fiesta no es solo condición necesaria sino también suficiente
para que acuda Ana, es equivalente a “Si va Raúl, entonces voy, pero si Raúl no va, entonces no voy”. Si lo
formalizáramos como una disyunción, entonces no implica que si Raúl acudiera Ana también lo hiciera. Por ello,
el enunciado debería formalizarse más bien como un bicondicional (“si y solo si”):
(Iré a la fiestas ↔ vas a la fiesta)
Formalizaciones complejas: “solo si”
En el caso de la conectiva “solo si”, “solo” modifica “si” introduciendo dos
negaciones. Las dos versiones de A) y de B) son equivalentes:
A) Sacaré sobresaliente en lógica solo si hago todos los exámenes.
B) El árbol del jardín crecerá solo si se riega.
A) Si no hago todos los exámenes, entonces no sacaré sobresaliente en lógica.
B) Si no se riega, entonces el árbol del jardín no crecerá.

Así, “ØB®ØA” es la traducción de “A solo si B”, mientras que “A®B” es la

traducción de “si A, entonces B”. Por lo tanto, dado que “ØB®ØA’ lógicamente
equivalente a “A®B”, debemos concluir que “A solo si B” es lógicamente equivalente a
“si A, entonces B”.
A) Si tengo un sobresaliente en logica, entonces es que he hecho todos los exámenes.
B) Si el árbol del jardín crece, entonces es que se ha regado.
TABLAS
DE
VERDAD
 TABLAS
p q (pÙq) (pÙq)→p
DE
V V V V VERDAD
V F F V
((pÙq)→p)
F V F V
F F F V
TABLAS
DE
VERDAD
((pÙq)v(pÙØr))
[(p®q)Ù(q®r)] ® (p®r)

TABLAS
DE
VERDAD
 REGLAS
---------------------
-------
DE
INFERENCIA
 REGLAS
---------------------
-------
DE
INFERENCIA
 REGLAS
---------------------
-------
DE
INFERENCIA
 REGLAS
---------------------
-------
DE
INFERENCIA
 REGLAS
---------------------
-------
DE
INFERENCIA