Lógica proposiconal y de primer orden

Carme Mato

15/12/2021

Respuestas
1.
Argumento válido Argumento inválido

Premisas verdaderas y Cualquier argumento monótono. Algunos norteamericanos

conclusión verdadera trabajan en los negocios.
Juan es norteamericano. Por lo tanto,
Juan trabaja en los negocios.

Premisas falsas y Todos los cuervos son pájaros. Cada genio es un cientı́fico.
conclusión falsa Todas las aves son cocineros. Einstein es un cientı́fico.
Por lo tanto,todos los cuervos Por tanto, Einstein es un genio.
son cocineros.

Premisas falsas y Todos los gatos son insectos. Todas las aves pueden nadar.
conclusión verdadera Todos los insectos son mamı́feros. Leonardo es un pintor.
Por tanto, todos los gatos son Por lo tanto, Leonardo es divertido
mamı́feros.

Premisas verdaderas y Los coches contaminan emitiendo CO2 Todos los caballos son animales
conclusión falsa por el tubo de escape. Las plantas Todos los perros son animales.
exhalar oxı́geno e inhalar CO2 . Por lo tanto, todos los caballos son perros.

Por lo tanto, si se pone una planta en el

tubo de escape de todos los coches del
mundo, se conseguirá parar el
cambio climático.

Table 1: Ejemplos de argumentos

1
2. En las demostraciones llamadas ’indirectas’ o ’por reducción al absurdo’
se supone la negación del enunciado que se desea demostrar con el
propósito de llegar a una contradicción. Cuando finalmente se alcanza
este objetivo se considera demostrado el enunciado que se deseaba
probar. La corrección de este tipo de demostraciones es lo que expresa
el siguiente enunciado de la lógica proposicional:

Si Γ ∪ {¬α} |= β y β es una contradicción, entonces Γ |= α.

2.1 Queremos ver que α es una tautologı́a. Sabemos, por la Prop.

9.5 1 que α será tautologı́a si sólo si es consecuencia de una fórmula o
un conjunto de fórmulas. De este modo:

Si Γ ∪ {¬α} |= β y β es una contradicción, entonces Γ ∪ {¬α}

insatisfacible. Ası́, toda v asignación que satisface Γ hace falsa a ¬α.
En consecuencia, toda v asignación que satisface Γ hace verdadera a
α, i.e., Γ |= α, i.e., α tautologı́a.

2.2 Análogamente, si queremos ver que α contradicción:

Si Γ ∪ {¬α} |= β y β es una tautologı́a, entonces Γ ∪ {¬α}

satisfacible. Ası́, toda v asignación que satisface Γ hace verdadera a
¬α. En consecuencia, toda v asignación que satisface Γ hace falsa a
α, i.e., Γ |= ¬α, i.e., ¬α tautologı́a, i.e, α contradicción.

2.3 Si α no es ni una tautologı́a ni una contradicción, necesariamente

será una fórmula contingente, i.e., no toda v asignación que satisface Γ
hace verdadera o falsa a α. Ver prop. 9.8.

3. Ver prop. 9.5.

1
Badesa, Jané, Jansana, 1998.

2
4. No se puede simbolizar. Solamente los enunciados compuestos
con expresiones que se comportan veritativo-funcionalmente pueden
simbolizarse de forma adecuada. En este caso, la partı́cula ”porque”
no se comporta veritativo-funcionalmente. La verdad o falsedad del
argumento no solo depende del valor de verdad de los enunciados simples
que lo componen. El enunciado puede ser falso aunque sea verdad que
que Luis querı́a despejarse caminando y sacó el perro a pasear. El
enunciado será falso si Luis no sacó el perro a pasear porque se querı́a
despejar, sino por alguna otra razón.

5. La necesidad de la lógica de primer orden es analizar argumentos

cuya corrección no sólo depende del significado de las expr. veritativo-
funcionales (como en el caso de la lógica proposicional), sino que también
de las propiedades de la relación de identidad o del signidicado de los
cuantificadores.

3
 Lógica proposiconal y de primer orden
Carme Mato

16/12/2021

Respuestas
7.
7.1 Prop. 9.1 (2)
7.2 La siguiente proposición pone de manifiesto la relación entre el
bicondicional y la equivalencia lógica:
Proposición. Para cualesquiera fórmulas α y β, α ≡ β si sólo si α ↔ β
tautologı́a.
Demostración. Si α y β son fórmulas cualesquiera,
α ≡ β si sólo si ∀v, v(α) = v(β),
α ≡ β si sólo si ∀v, v(α ↔ β) = V,
α ≡ β si sólo si α ↔ β tautologı́a.
8. Hay infinitas asignaciones distintas, ya que al menos hay tantas como
letras proposicioneales. Para justificarlo, asociamos asignaciones a letras
proposicionales de modo que toda pn letra proposicional esté asociada a
una vn asignación y que letras proposicionales distintas estén vinculadas
a asignaciones distintas, i.e., sean pn 6= pm , entonces vn 6= vm , n ∈ N.

Para mostrar que esto es cierto, asociamos cada pn a cada vn , la cual

asigna el valor V a pn y F al resto de letras, tenemos, para cada q:


V si q = pn
vn (q) = (1)
6 pn
F si q =

1
 Ya tenemos que para cada letra proposicional hay una asignación que
hace verdadera a pn y falsa al resto y que las letras proposicionales
distintas están asociadas a asignaciones distintas:

Si pn 6= pm , entonces vn (pn ) 6= vm (pn ), i.e., vn y vm difieren

en el valor de verdad asignado a pn , luego son asignaciones distintas.

De este modo, como hay al menos tantas asignaciones de valores de

verdad como letras proposicionales y hay infinitas letras, necesariamente
habrá infinitas asignaciones distintas.

9.

9.1 ℵ |= P c si y sólo si cℵ ∈ P ℵ
9.2 ℵ |= (P x ∨ Qx) si y sólo si ℵ |= P x o ℵ |= Qx
9.3 ℵ |= (P c ↔ Qx) si y sólo si ℵ |= P c y ℵ |= Qx, o, ℵ 6|= P c y
ℵ 6|= Qx.