DESARROLLO DE HABILIDADES DEL PENSAMIENTO LGICO

II. LGICA
GICA PROPOSICIONAL
SEPTIEMBRE DICIEMBRE 2011

TABLAS DE VERDAD DE LOS CONECTIVOS LGICOS

1. Negacin
La negacin es un operador que opera sobre un nico valor de verdad, devolviendo el valor
contradictorio de la proposicin considerada.

2. Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso.
La tabla de verdad
dad de la conjuncin es la siguiente:

3. Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el va
valor
lor de verdad verdadero cuando una de
las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

LIC. LEYDY ROXANA ZEPEDA RUIZ

Pgina 1

DESARROLLO DE HABILIDADES DEL PENSAMIENTO LGICO

II. LGICA PROPOSICIONAL

SEPTIEMBRE DICIEMBRE 2011

4. Implicacin o Condicional
El condicional material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo
cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

5. Bicondicional
El bicondicional o doble implicacin es un operador que opera sobre dos valores de
verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus
valores de verdad difieren.
La tabla de verdad del bicondicional es la siguiente:

LIC. LEYDY ROXANA ZEPEDA RUIZ

Pgina 2

DESARROLLO DE HABILIDADES DEL PENSAMIENTO LGICO

II. LGICA PROPOSICIONAL

SEPTIEMBRE DICIEMBRE 2011

CONECTIVOS LGICOS
NOMBRE

SMBOLO

SIMBOLO
LGICO

Se lee

Conjuncin
(AND)
Disyuncin
(OR)
Negacin
(NOT)

p^q

p y q

pvq

p q

~,

~p

no p

Condicional

p q

Si p, entonces q

bicondicional

pq

p si, y solo si q

Disyuncin
pvq

Conjuncin
p^q

Negacin
~p

Condicional

Bicondicional

p q

pq

V
V
F
F

V
F
V
F

V
V
V
F

V
F
F
F

F
F
V
V

V
F
V
V

V
F
F
V

LIC. LEYDY ROXANA ZEPEDA RUIZ

Pgina 3