Semántica y tablas de verdad

Semántica
La semántica estudia los símbolos en su relación con los objetos
designados. En el caso de la lógica matemática se quiere indagar
por la relación de verdad, es decir, saber cuándo un enunciado es
verdadero o falso.
Semántica y tablas de verdad

Semántica
La semántica estudia los símbolos en su relación con los objetos
designados. En el caso de la lógica matemática se quiere indagar
por la relación de verdad, es decir, saber cuándo un enunciado es
verdadero o falso.

Valor de verdad
El valor de verdad de una proposición p se define como
(
1, si p es verdadera
v (p) =
0, si p es falsa
Semántica y tablas de verdad

Tablas de verdad
Las tablas de verdad muestran los valores de verdad de una
proposición para todas las asignaciones posibles.
Semántica y tablas de verdad

Tablas de verdad
Las tablas de verdad muestran los valores de verdad de una
proposición para todas las asignaciones posibles.

Veamos las tablas de verdad de proposiciones en presencia de

conectivos lógicos
Semántica y tablas de verdad
Negación
El conectivo ¬ vuelve falsa una proposición verdadera, y vuelve
verdadera una proposición falsa.
Semántica y tablas de verdad
Negación
El conectivo ¬ vuelve falsa una proposición verdadera, y vuelve
verdadera una proposición falsa.

v (p) v (¬p)
1 0
0 1
Tabla: Negación
Semántica y tablas de verdad
Negación
El conectivo ¬ vuelve falsa una proposición verdadera, y vuelve
verdadera una proposición falsa.

v (p) v (¬p)
1 0
0 1
Tabla: Negación

Ejemplos.
Si la proposición p: Álvaro tiene buenas autodefensas es
verdadera, la proposición
¬p: Álvaro no tiene buenas autodefensas es falsa.
Semántica y tablas de verdad
Negación
El conectivo ¬ vuelve falsa una proposición verdadera, y vuelve
verdadera una proposición falsa.

v (p) v (¬p)
1 0
0 1
Tabla: Negación

Ejemplos.
Si la proposición p: Álvaro tiene buenas autodefensas es
verdadera, la proposición
¬p: Álvaro no tiene buenas autodefensas es falsa.
Si la proposición p: La lógica me da sueño es falsa, la
proposición ¬p: La lógica no me da sueño es verdadera.
Semántica y tablas de verdad

Conjunción
La proposición p ∧ q es verdadera si, y solo si, tanto p como q son
verdaderas. Por lo tanto, si alguna es falsa, toda la conjunción lo es.
Semántica y tablas de verdad

Conjunción
La proposición p ∧ q es verdadera si, y solo si, tanto p como q son
verdaderas. Por lo tanto, si alguna es falsa, toda la conjunción lo es.

v (p) v (q) v (p ∧ q)
1 1 1
1 0 0
0 1 0
0 0 0
Tabla: Conjunción
Semántica y tablas de verdad

Conjunción
La proposición p ∧ q es verdadera si, y solo si, tanto p como q son
verdaderas. Por lo tanto, si alguna es falsa, toda la conjunción lo es.

v (p) v (q) v (p ∧ q)
1 1 1
1 0 0
0 1 0
0 0 0
Tabla: Conjunción

Ejemplos.
La cerveza y el vino son deliciosos es una proposición...
Semántica y tablas de verdad

Conjunción
La proposición p ∧ q es verdadera si, y solo si, tanto p como q son
verdaderas. Por lo tanto, si alguna es falsa, toda la conjunción lo es.

v (p) v (q) v (p ∧ q)
1 1 1
1 0 0
0 1 0
0 0 0
Tabla: Conjunción

Ejemplos.
La cerveza y el vino son deliciosos es una proposición...
2 y 21 son números primos es una proposición...
Disyunción
La proposición p ∨ q es verdadera si, y solo si, alguna es verdadera.
Por lo tanto, la disyunción es falsa solo cuando ambas
proposiciones lo son
Disyunción
La proposición p ∨ q es verdadera si, y solo si, alguna es verdadera.
Por lo tanto, la disyunción es falsa solo cuando ambas
proposiciones lo son

v (p) v (q) v (p ∨ q)
1 1 1
1 0 1
0 1 1
0 0 0
Tabla: Disyunción
Disyunción
La proposición p ∨ q es verdadera si, y solo si, alguna es verdadera.
Por lo tanto, la disyunción es falsa solo cuando ambas
proposiciones lo son

v (p) v (q) v (p ∨ q)
1 1 1
1 0 1
0 1 1
0 0 0
Tabla: Disyunción

Ejemplos.
El 2 o el 21 es un número primo es una proposición...
Disyunción
La proposición p ∨ q es verdadera si, y solo si, alguna es verdadera.
Por lo tanto, la disyunción es falsa solo cuando ambas
proposiciones lo son

v (p) v (q) v (p ∨ q)
1 1 1
1 0 1
0 1 1
0 0 0
Tabla: Disyunción

Ejemplos.
El 2 o el 21 es un número primo es una proposición...
Condicional
La proposición p → q es falsa solamente cuando p es verdadera y q
es falsa. En cualquier otro caso el condicional es verdadero
Condicional
La proposición p → q es falsa solamente cuando p es verdadera y q
es falsa. En cualquier otro caso el condicional es verdadero

v (p) v (q) v (p → q)
1 1 1
1 0 0
0 1 1
0 0 1
Tabla: Condicional
Condicional
La proposición p → q es falsa solamente cuando p es verdadera y q
es falsa. En cualquier otro caso el condicional es verdadero

v (p) v (q) v (p → q)
1 1 1
1 0 0
0 1 1
0 0 1
Tabla: Condicional

Ejemplo.
Si apruebo el curso de Lógica, entonces festejaré 2 días
seguidos.
Bicondicional
La proposición p ↔ q es verdadera solamente cuando p y q tienen
los mismos valores de verdad . En cualquier otro caso el
bicondicional es falso.
Bicondicional
La proposición p ↔ q es verdadera solamente cuando p y q tienen
los mismos valores de verdad . En cualquier otro caso el
bicondicional es falso.

v (p) v (q) v (p ↔ q)
1 1 1
1 0 0
0 1 0
0 0 1
Tabla: Bicondicional
Bicondicional
La proposición p ↔ q es verdadera solamente cuando p y q tienen
los mismos valores de verdad . En cualquier otro caso el
bicondicional es falso.

v (p) v (q) v (p ↔ q)
1 1 1
1 0 0
0 1 0
0 0 1
Tabla: Bicondicional

Ejemplo.
Don Bon Bril consigue trabajo si, y solo si, los papás lo
expulsan de la casa.
Disyunción exclusiva
El conectivo lógico de la disyunción exclusiva se denota ⊻ y se usa
cuando 2 proposiciones no pueden tener simultáneamente el mismo
valor de verdad. En el lenguaje usual se asocia con la expresión “ó”.
Disyunción exclusiva
El conectivo lógico de la disyunción exclusiva se denota ⊻ y se usa
cuando 2 proposiciones no pueden tener simultáneamente el mismo
valor de verdad. En el lenguaje usual se asocia con la expresión “ó”.

v (p) v (q) v (p ⊻ q)
1 1 0
1 0 1
0 1 1
0 0 0
Tabla: Disyunción exclusiva
Disyunción exclusiva
El conectivo lógico de la disyunción exclusiva se denota ⊻ y se usa
cuando 2 proposiciones no pueden tener simultáneamente el mismo
valor de verdad. En el lenguaje usual se asocia con la expresión “ó”.

v (p) v (q) v (p ⊻ q)
1 1 0
1 0 1
0 1 1
0 0 0
Tabla: Disyunción exclusiva

Ejemplo.
Un número natural es par ó impar.
La proposición condicional

La proposición condicional se usa habitualmente en diversas

ciencias en el desarrollo de sus teorías.
La proposición condicional

La proposición condicional se usa habitualmente en diversas

ciencias en el desarrollo de sus teorías.
Formas de la proposición condicional
Forma condicional Simbolización Antecedente Conclusión
Directa p→q p q
Recíproca q→p q p
Contraria ¬p → ¬q No p No q
Contrarrecíproca ¬q → ¬p No q No p