LÓGICA

MATEMÁTICA Y
TEORÍA DE
CONJUNTOS
TEMA 2: OPERADORES LÓGICOS
 Operadores Lógicos
1. NEGACIÓN
2. CONJUNCIÓN
3. DISYUNCIÓN
4. CONDICIONAL
5. BICONDICIONAL
 1. NEGACIÓN
Dado una proposición p, llamaremos la negación de p, a otra proposición que denotaremos por

¬p o ~p, y que se le asigna el valor opuesto a p. y su tabla de verdad es:

p ~p
V F
F V

Formula para determinar el numero de filas de la tabla

Donde:
n = Numero de proposiciones simples 2ⁿ
 2. CONJUNCIÓN
La conjunción de dos proposiciones p y q es la proposición compuesta que resulta de unir p y q
mediante el conectivo lógico "y" que se simboliza p /\ q, donde el principio lógico es "La
conjunción p /\ q es verdadero V, sólo cuando p es verdadero y q es verdadero V, en todos los
demás casos es falso". Su tabla de verdad es:
p q p /\ q
V V V
V F F
F V F
F F F
 3. DISYUNCIÓN
La disyunción de dos proposiciones p y q es la proposición compuesta que resulta de unir p y q
por el conectivo lógico "o" en el sentido inclusivo y/o y que el principio lógico es "La proposición
p v q es falsa únicamente en el caso en que p y q son ambas falsas, en cualquier otro caso es
verdadera". La tabla de verdad para la disyunción es:
p q pvq
V V V
V F V
F V V
F F F
 4. CONDICIONAL
La implicación o condicional de dos proposiciones p y q es la proposición compuesta mediante el
conectivo lógico "si, ... , entonces, ... " y se simboliza p → q, donde el principio lógico es "La
proposición implicativa es falso únicamente en el caso que la proposición p es verdadera y la
proposición q es falsa, siendo verdadera en todos los demás casos. Su tabla de verdad es:
p q p→q
V V V
V F F
F V V
F F V
 5. BICONDICIONAL
La doble implicación o bicondicional de dos proposiciones p y q es la proposición compuesta
mediante el conectivo lógico "si y sólo si" y se simboliza p ↔ q, cuando ambos son verdaderos
V o son falsos F su valor de verdad será V, en otros casos es falso F. Su tabla de verdad es:

p q p↔q
V V V
V F F
F V F
F F V
 TABLA RESUMEN
CONECTIVO LÓGICO LENGUAJE FORMAL SIMBOLO

NEGACIÓN “No es cierto que” ¬;~

CONJUNCIÓN “y” /\

DISYUNCIÓN “o” V

CONDICIONAL “Si………entonces…..” →

BICONDICIONAL “……si y solo si……” ↔

GRACIAS POR SU ATENCIÓN
GRACIAS POR SU ATENCIÓN
“El hombre que es un maestro de la
paciencia es un maestro de todo lo demás”
“El hombre que es un maestro de la paciencia es un
(George
maestro Saville)
de todo lo demás”
(George Saville)