Semántica - Lógica Proposicional

ovasquezdavila@campus.ungs.edu.ar

Lógica y Argumentación

2023

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 1 / 34

 Preliminares

Ya conocemos la sintaxis de la Lógica Proposicional (Cf.

Definición 1 pág. 37), hoy veremos su semántica, i.e., la
interpretación que recibe dicha sintaxis.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 2 / 34

 Preliminares

Ya conocemos la sintaxis de la Lógica Proposicional (Cf.

Definición 1 pág. 37), hoy veremos su semántica, i.e., la
interpretación que recibe dicha sintaxis.
La interpretación del lenguaje de la Lógica Proposicional
consiste en la atribución de valores de verdad a sus oraciones.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 2 / 34

 Preliminares

Ya conocemos la sintaxis de la Lógica Proposicional (Cf.

Definición 1 pág. 37), hoy veremos su semántica, i.e., la
interpretación que recibe dicha sintaxis.
La interpretación del lenguaje de la Lógica Proposicional
consiste en la atribución de valores de verdad a sus oraciones.
Estas atribuciones reciben el nombre de valuaciones.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 2 / 34

 Preliminares

Ya conocemos la sintaxis de la Lógica Proposicional (Cf.

Definición 1 pág. 37), hoy veremos su semántica, i.e., la
interpretación que recibe dicha sintaxis.
La interpretación del lenguaje de la Lógica Proposicional
consiste en la atribución de valores de verdad a sus oraciones.
Estas atribuciones reciben el nombre de valuaciones.
Las valuaciones son un tipo de función. Ahora bien, ¿qué es
una función? Es un objeto matemático con las siguientes
caracterı́sticas.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 2 / 34

 Esquema de clase

1 La Semántica de la Lógica Proposicional

Funciones
La función valuación
Teoremas
2 Deducción Natural

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 3 / 34

 La Semántica de la Lógica Proposicional

Esquema de Clase

1 La Semántica de la Lógica Proposicional

Funciones
La función valuación
Teoremas

2 Actividad 4

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 4 / 34

 La Semántica de la Lógica Proposicional Funciones

Esquema de la clase

1 La Semántica de la Lógica Proposicional

Funciones
La función valuación
Teoremas

2 Actividad 4

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 5 / 34

 La Semántica de la Lógica Proposicional Funciones

Función

Una función se caracteriza por atribuir un único valor (e.g.,

verdadero o falso) a cada entidad de un cierto tipo especı́fico (e.g.,
oraciones). Véase el siguiente gráfico.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 6 / 34

 La Semántica de la Lógica Proposicional Funciones

f→

Figura: f : X → Y

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 7 / 34

 La Semántica de la Lógica Proposicional Funciones

Dominio: lo que puede ir dentro de una función. O sea, lo

que va dentro de la ‘f ’ en f (x)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 8 / 34

 La Semántica de la Lógica Proposicional Funciones

Dominio: lo que puede ir dentro de una función. O sea, lo

que va dentro de la ‘f ’ en f (x)
Codominio: lo que puede resultar de una función.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 8 / 34

 La Semántica de la Lógica Proposicional Funciones

Dominio: lo que puede ir dentro de una función. O sea, lo

que va dentro de la ‘f ’ en f (x)
Codominio: lo que puede resultar de una función.
Rango: lo que de hecho resulta de una función.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 8 / 34

 La Semántica de la Lógica Proposicional Funciones

Una función es un objeto matemático que, dados dos conjuntos,

uno de partida llamado ‘dominio’ y uno de llegada llamado
‘codominio’, relaciona un elemento del primero con un, y sólo un,
elemento del segundo. Es importante que todo elemento del
dominio esté relacionado con algún elemento del codominio y que
éste sea único. Por el contrario, no es necesario que todos los
elementos del codominio estén relacionados con un elemento del
dominio, ni que estén relacionados con uno solo.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 9 / 34

 La Semántica de la Lógica Proposicional Funciones

Argumento y Dominio de una Función

Las entidades a las que las funciones atribuyen un valor se

denominan argumentos de la función, el conjunto de ellas forman
el dominio de la función.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 10 / 34

 La Semántica de la Lógica Proposicional Funciones

Valor y Rango de una Función

Las entidades que figuran como los valores posibles de una función
son denominadas colectivamente su rango.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 11 / 34

 La Semántica de la Lógica Proposicional Funciones

Si x es el argumento de una función f , entonces, f (x) es el

resultado que se obtiene cuando se aplica f a x.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 12 / 34

 La Semántica de la Lógica Proposicional Funciones

Función de A a B

f :A→B

La función f hace corresponder a cada elemento del dominio un

elemento del rango, pero no sucede la inversa: hay elementos del
rango que no se corresponden con elementos del dominio. Si no se
da esta asimetrı́a entre dominio y rango entonces se dice que f es
una función de A sobre B. A continuación vemos algunos ejemplos
de funciones.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 13 / 34

 La Semántica de la Lógica Proposicional Funciones

Ejemplos

Nombre de Función Dominio Rango

Madre de x Personas Mujeres
Negación de x Fórmulas Fórmulas
Capital de x Paises Ciudades
Nro. de DNI de x Personas Números
El doble de x Números Números

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 14 / 34

 La Semántica de la Lógica Proposicional Funciones

No son funciones

Hermano de x
Problema: no todos tienen hermanos y algunos tienen más de
un hermano.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 15 / 34

 La Semántica de la Lógica Proposicional Funciones

No son funciones

Hermano de x
Problema: no todos tienen hermanos y algunos tienen más de
un hermano.
Progenitor de x
Problema: nadie carece de progenitores pero todos tienen dos
como mı́nimo.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 15 / 34

 La Semántica de la Lógica Proposicional Funciones

No son funciones

Hermano de x
Problema: no todos tienen hermanos y algunos tienen más de
un hermano.
Progenitor de x
Problema: nadie carece de progenitores pero todos tienen dos
como mı́nimo.
Hijo de x

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 15 / 34

 La Semántica de la Lógica Proposicional Funciones

No son funciones

Hermano de x
Problema: no todos tienen hermanos y algunos tienen más de
un hermano.
Progenitor de x
Problema: nadie carece de progenitores pero todos tienen dos
como mı́nimo.
Hijo de x
Materias que aprobó x

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 15 / 34

 La Semántica de la Lógica Proposicional Funciones

Funciones n-arias

f (x1 , ..., xn )

Nombre de Función Dominio Rango

Suma de x e y Números Números
Dferencia entre x e y Números Números
Horario de partida del
1er tren desde x via y hacia z Estaciones Momentos

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 16 / 34

 La Semántica de la Lógica Proposicional La función valuación

Esquema de la clase

1 La Semántica de la Lógica Proposicional

Funciones
La función valuación
Teoremas

2 Actividad 4

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 17 / 34

 La Semántica de la Lógica Proposicional La función valuación

La función valuación

Las valuaciones son funciones unarias que proyectan fórmulas

sobre valores de verdad. No toda función es una valuación, pues
una valuación debe concordar con las interpretaciones dadas a las
conectivas en sus tablas de verdad.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 18 / 34

 La Semántica de la Lógica Proposicional La función valuación

La función valuación

Las valuaciones son funciones unarias que proyectan fórmulas

sobre valores de verdad. No toda función es una valuación, pues
una valuación debe concordar con las interpretaciones dadas a las
conectivas en sus tablas de verdad.
Ejemplo: una función que atribuya valor 1 tanto a p como a ¬p no
es una valuación, pues no concuerda con la interpretación de la
negación. La tabla de verdad de la negación nos dice que:

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 18 / 34

 La Semántica de la Lógica Proposicional La función valuación

La función valuación

Las valuaciones son funciones unarias que proyectan fórmulas

sobre valores de verdad. No toda función es una valuación, pues
una valuación debe concordar con las interpretaciones dadas a las
conectivas en sus tablas de verdad.
Ejemplo: una función que atribuya valor 1 tanto a p como a ¬p no
es una valuación, pues no concuerda con la interpretación de la
negación. La tabla de verdad de la negación nos dice que:

V (¬φ) = 1 ssi V (φ) = 0

V (¬φ) = 0 ssi V (φ) = 1

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 18 / 34

 La Semántica de la Lógica Proposicional La función valuación

Valuaciones

V (¬φ) = 1 ssi V (φ) = 0

V (φ ∧ ψ) = 1 ssi V (φ) = 1 y V (ψ) = 1

V (φ ∨ ψ) = 1 ssi V (φ) = 1 ó V (ψ) = 1

V (φ → ψ) = 0 ssi V (φ) = 1 y V (ψ) = 0

V (φ ↔ ψ) = 1 ssi V (φ) = V (ψ)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 19 / 34

 La Semántica de la Lógica Proposicional La función valuación

Valuaciones

V (¬φ) = 1 ssi V (φ) = 0

V (φ ∧ ψ) = 1 ssi V (φ) = 1 y V (ψ) = 1

V (φ ∨ ψ) = 1 ssi V (φ) = 1 ó V (ψ) = 1

V (φ → ψ) = 0 ssi V (φ) = 1 y V (ψ) = 0

V (φ ↔ ψ) = 1 ssi V (φ) = V (ψ)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 19 / 34

 La Semántica de la Lógica Proposicional La función valuación

Valuaciones

V (¬φ) = 1 ssi V (φ) = 0

V (φ ∧ ψ) = 1 ssi V (φ) = 1 y V (ψ) = 1

V (φ ∨ ψ) = 1 ssi V (φ) = 1 ó V (ψ) = 1

V (φ → ψ) = 0 ssi V (φ) = 1 y V (ψ) = 0

V (φ ↔ ψ) = 1 ssi V (φ) = V (ψ)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 19 / 34

 La Semántica de la Lógica Proposicional La función valuación

Valuaciones

V (¬φ) = 1 ssi V (φ) = 0

V (φ ∧ ψ) = 1 ssi V (φ) = 1 y V (ψ) = 1

V (φ ∨ ψ) = 1 ssi V (φ) = 1 ó V (ψ) = 1

V (φ → ψ) = 0 ssi V (φ) = 1 y V (ψ) = 0

V (φ ↔ ψ) = 1 ssi V (φ) = V (ψ)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 19 / 34

 La Semántica de la Lógica Proposicional La función valuación

Valuaciones

V (¬φ) = 1 ssi V (φ) = 0

V (φ ∧ ψ) = 1 ssi V (φ) = 1 y V (ψ) = 1

V (φ ∨ ψ) = 1 ssi V (φ) = 1 ó V (ψ) = 1

V (φ → ψ) = 0 ssi V (φ) = 1 y V (ψ) = 0

V (φ ↔ ψ) = 1 ssi V (φ) = V (ψ)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 19 / 34

 La Semántica de la Lógica Proposicional La función valuación

Composicionalidad

Una proposición queda completamente determinada por los valores

que atribuye a las letras proposicionales. Una vez que sabemos el
valor que la valuación atribuye a cada proposición podemos
calcular el valor de cualquier fórmula φ mediante su árbol
constructivo.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 20 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicios
(I) Si una valuación (V) atribuye a p el valor 1 y a q el valor 0,
¿cuál es el valor de verdad de las siguientes oraciones?:
1 p ∧ ¬p

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 21 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicios
(I) Si una valuación (V) atribuye a p el valor 1 y a q el valor 0,
¿cuál es el valor de verdad de las siguientes oraciones?:
1 p ∧ ¬p
Sol. Si V (p) = 1, entonces, V (¬p) = 0. Y la conjunción (∧) de
1 y 0 da como resultado 0. De modo que la de V (p ∧ ¬p) da
como resultado 0. En sı́mbolos V (p ∧ ¬p) = 0

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 21 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicios
(I) Si una valuación (V) atribuye a p el valor 1 y a q el valor 0,
¿cuál es el valor de verdad de las siguientes oraciones?:
1 p ∧ ¬p
Sol. Si V (p) = 1, entonces, V (¬p) = 0. Y la conjunción (∧) de
1 y 0 da como resultado 0. De modo que la de V (p ∧ ¬p) da
como resultado 0. En sı́mbolos V (p ∧ ¬p) = 0
2 q→p

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 21 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicios
(I) Si una valuación (V) atribuye a p el valor 1 y a q el valor 0,
¿cuál es el valor de verdad de las siguientes oraciones?:
1 p ∧ ¬p
Sol. Si V (p) = 1, entonces, V (¬p) = 0. Y la conjunción (∧) de
1 y 0 da como resultado 0. De modo que la de V (p ∧ ¬p) da
como resultado 0. En sı́mbolos V (p ∧ ¬p) = 0
2 q→p
Sol. Si V (q) = 0 y V (p) = 1, V (q → p) = 1

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 21 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicios
(I) Si una valuación (V) atribuye a p el valor 1 y a q el valor 0,
¿cuál es el valor de verdad de las siguientes oraciones?:
1 p ∧ ¬p
Sol. Si V (p) = 1, entonces, V (¬p) = 0. Y la conjunción (∧) de
1 y 0 da como resultado 0. De modo que la de V (p ∧ ¬p) da
como resultado 0. En sı́mbolos V (p ∧ ¬p) = 0
2 q→p
Sol. Si V (q) = 0 y V (p) = 1, V (q → p) = 1
3 p ∨ ¬p
4 ¬(p ∧ ¬q)
5 ¬p ∨ q
6 p→q
7 ¬(p ∨ ¬p)
8 ¬(¬p ∧ ¬q)
ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 21 / 34
 La Semántica de la Lógica Proposicional La función valuación

En el ejercicio anterior hemos tenido en cuenta sólamente una

posible valuación, la que le da a p valor 1 y a q valor 0. Sin
embargo, podemos conocer el resultado para cada una de las tres
posibilidades restantes.
(II) Elabore la tabla de verdad para cada una de las fórmulas
anteriores.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 22 / 34

 La Semántica de la Lógica Proposicional La función valuación

Equivalencia Lógica

Definición (Equivalencia Lógica)

φ y ψ son lógicamente equivalentes sólo en caso de que, para toda
valuación V, sucede que V (φ) = V (ψ).

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 23 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejemplo

¬(¬p ∧ ¬q) es lógicamente equivalente a p ∨ q

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 24 / 34

 La Semántica de la Lógica Proposicional La función valuación

La tabla muestra que para toda distribución de valores de p y q,

las dos fórmulas anteriores son lógicamente equivalentes.

V p q ¬(¬p ∧ ¬q) p∨q

V1 1 1 1 1
V2 0 1 1 1
V3 1 0 1 1
V4 0 0 0 0

Cuadro: Tabla de verdad para determinar la equivalencia lógica

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 25 / 34

 La Semántica de la Lógica Proposicional La función valuación

Cuando unimos las dos fórmulas anteriores por medio del

bicondicional, resulta que son equivalentes materialmente, siempre
dan 1.
V p q ¬(¬p ∧ ¬q) ↔ p∨q
V1 1 1 1 1 1
V2 0 1 1 1 1
V3 1 0 1 1 1
V4 0 0 0 1 0

Cuadro: Tabla de verdad para determinar la equivalencia lógica

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 26 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicio III

III. Determine si las siguientes fórmulas del ejercicio I son

lógicamente equivalentes:
5y6
6y4
7y1

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 27 / 34

 La Semántica de la Lógica Proposicional La función valuación

Teorema (Nro. 1, pág. 53)

φ y ψ son lógicamente equivalentes si y sólo si, para toda valuación
V, V (φ ↔ ψ) = 1.

Les invitamos a ver la prueba de este teorema en la página

mencionada. Además, resuelva los ejercicios 6, 7, 8, 9, 10 y 11 del
Gamut (pág. 50-56).

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 28 / 34

 La Semántica de la Lógica Proposicional La función valuación

Ejercicio IV

IV. Explique la relación y la diferencia entre la equivalencia lógica

y la equivalencia material. Ejemplifique. (Gamut pág. 50; Copi
cap. VIII, sección 5)

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 29 / 34

 La Semántica de la Lógica Proposicional Teoremas

Esquema de la clase

1 La Semántica de la Lógica Proposicional

Funciones
La función valuación
Teoremas

2 Actividad 4

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 30 / 34

 La Semántica de la Lógica Proposicional Teoremas

Teorema (Nro. 2, pág. 55)

Si φ es una tautologı́a, entonces, ¬φ es una contradicción.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 31 / 34

 La Semántica de la Lógica Proposicional Teoremas

Teorema (Nro. 2, pág. 55)

Si φ es una tautologı́a, entonces, ¬φ es una contradicción.

Teorema (Nro. 3, pág. 56)

Si φ es una contradicción, entonces, ¬φ es una tautologı́a.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 31 / 34

 La Semántica de la Lógica Proposicional Teoremas

Teorema (Nro. 2, pág. 55)

Si φ es una tautologı́a, entonces, ¬φ es una contradicción.

Teorema (Nro. 3, pág. 56)

Si φ es una contradicción, entonces, ¬φ es una tautologı́a.

Teorema (Nro. 4, pág. 56)

φ es una contingencia, ssi, ¬φ es una contingencia.

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 31 / 34

 Actividad 4

Esquema de Clase

1 La Semántica de la Lógica Proposicional

Funciones
La función valuación
Teoremas

2 Actividad 4

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 32 / 34

 Actividad 4

Indicaciones sobre la inminente Actividad 4

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 33 / 34

 Actividad 4

fin

ovasquezdavila@campus.ungs.edu.ar Semántica - Lógica Proposicional 2023 34 / 34