Conectivos Lógicos

Tablas de Verdad

Prof. Andrés A. Morales

Módulo Matemáticas
TNS Analista Programador
Proposiciones y Valor de Verdad
Para determinar el valor de verdad de una p p q p q r
proposición compuesta se elabora una
tabla de verdad. V V F V V F
F V F V V F
  𝟐𝟏 F V V F V
En general para “n” proposiciones, se pueden F F V F F
presentar posibilidades.
F V V
  𝟐𝟒
F V F
F F V
F F F
  𝟐𝟑

 
Operaciones Lógicas y Tablas de Verdad

I. Conjunción: Vincula dos proposiciones mediante el conectivo lógico “y”, cuyo símbolo es “ y se llama conjuntor.
Ejemplo: “Ignacio viajó a Talca” y “Guillermo viajó a Parral”

  𝒑   𝒒
  Simbología: “p
p q p
Tabla de valores de verdad V V V
de la conjunción
V F F Es verdadera cuando las dos
F V F proposiciones son verdaderas
F F F

 
Operaciones Lógicas y Tablas de Verdad

II. Disyunción Débil: Vincula dos proposiciones mediante el conectivo lógico “o”, cuyo símbolo es “ y se llama
disyuntor.

Ejemplo: “Pablo viajará a Villarricao a Pucón”

  𝒑   𝒒
  Simbología: “p
p q p
Tabla de valores de verdad V V V
de la disyunción débil
V F V Es falsa solo si ambas
F V V proposiciones son falsas
F F F

 
Operaciones Lógicas y Tablas de Verdad

III. Disyunción Fuerte: Vincula dos proposiciones mediante el conectivo lógico “O...o”, cuyo símbolo es “ y se llama
disyuntor fuerte.

Ejemplo: “O Pedro radica en Arica o en Iquique”

  𝒑   𝒒
  Simbología: “p

p q p
Tabla de valores de verdad V V F Es falsa solo si ambas
de la disyunción fuerte proposiciones tienen idénticos
V F V
valores de verdad
F V V
F F F

|  
Operaciones Lógicas y Tablas de Verdad

IV. Condicional: Vincula dos proposiciones mediante el conectivo lógico “Si……entonces…..”, cuyo símbolo es “ y se
llama implicador.

Ejemplo: “Si 12 es número par entonces es divisible por 2”

  𝒑   𝒒   Simbología: “p

  𝒑
 𝒒: 12 es número par ANTECEDENTE
: 12 es divisible por 2 CONSECUENTE

|  
Operaciones Lógicas y Tablas de Verdad

IV. Condicional: Vincula dos proposiciones mediante el conectivo lógico “Si……entonces…..”, cuyo símbolo es “ y se
llama implicador.

Ejemplo: “Si 12 es número par entonces es divisible por 2”

  𝒑   𝒒   Simbología: “p

p q pq
Tabla de valores de verdad V V V Es falso cuando el
de el condicional antecedente es verdadero y el
V F F
consecuente es falso
F V V
F F V

|  
Operaciones Lógicas y Tablas de Verdad

V. Bicondicional: Vincula dos proposiciones mediante el conectivo lógico “….si y sólo si ”, cuyo símbolo es “ y se llama
doble implicador.

Ejemplo: “ Isla de Pascua es una isla si y sólo si está rodeada de agua”

  𝒑   𝒒
  Simbología: “p

p q pq
Tabla de valores de verdad V V V
de el bicondicional Es verdadero solo si ambas
V F F proposiciones tienen idénticos
F V F valores de verdad
F F V

|  
Operaciones Lógicas y Tablas de Verdad

VI. Negación: Afecta a una sola proposición. Es un operador que cambia el valor de verdad de una proposición. Su
símbolo es “ y se llama negador.

Ejemplo:

“ Todo número elevado al cuadrado es positivo”

  𝒑
(Negación): “No todo número elevado al cuadrado es positivo”

 ∼ 𝒑
Ejemplo:

“No es cierto que Pablo fue al banco y retiró el dinero”

  𝒑   𝒒  
  Simbología: “p
Operaciones Lógicas y Tablas de Verdad

VI. Negación: Afecta a una sola proposición. Es un operador que cambia el valor de verdad de una proposición. Su
símbolo es “ y se llama negador.

Ejemplo:

“ Todo número elevado al cuadrado es positivo”

  𝒑
(Negación): “No todo número elevado al cuadrado es positivo”

 ∼ 𝒑

Tabla de valores de verdad p p

de la negación
 
V F
F V
 Tablas de Verdad
Disyunción Disyunción
Negación Conjunción Débil Fuerte Condicional Bicondicional

p p p q pq pq pq pq pq
V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V
FIN