Está en la página 1de 11

Los conectivos lgicos son smbolos que permiten

obtener nuevas proposiciones a partir de proposiciones


dadas. Los conectivos son: no; y; o (incluyente,
excluyente); si entonces; s y slo s.

Se llama negacin de una proposicin p, a la proposicin no p.


Se denota por ~p, -p o p.
Observacin: La proposicin ~p es verdadera si p es falsa y, es
falsa si p es verdadera.
Tabla de verdad:

p ~p
V F
F V
Ejemplo:
p: 2 + 2 = 5
~p: No es cierto que 2 + 2 = 5
~p: 2 + 2 5

Se llama conjuncin de las proposiciones p y q a la proposicin


p y q. Se denota por p q.
La proposicin p q es verdadera slo si p y q son verdaderas.
Es falsa si al menos una de ellas es falsa.
Tabla de verdad

p
V
V
F
F

q
V
F
V
F

V
F
F
F

Ejemplo:
p: el tringulo equiltero tiene los tres lados iguales
q: el tringulo equiltero tiene los tres ngulos iguales
p q: el tringulo equiltero tiene los tres lados iguales y el
tringulo equiltero tiene los tres ngulos iguales
En forma ms sencilla la proposicin p q se enuncia:
el tringulo equiltero tiene sus tres lados y sus tres
ngulos iguales

Se llama disyuncin de las proposiciones p y q a la


proposicin p q. Se denota por p v q.
La proposicin p v q es verdadera slo si al menos una de las
proposiciones p q es verdadera y es falsa si ambas son
falsas.
Tabla de verdad

p
V
V
F
F

q
V
F
V
F

pvq
V
V
V
F

Ejemplo:
p: 2 + 3 = 4
q: 2 + 3 = 5
p v q: 2 + 3 = 4 2 + 3 = 5
Se usa el o en el sentido inclusivo, que hace que la frase
anterior sea verdadera.

Se llama disyuncin excluyente de las proposiciones p y q a la


proposicin o p o q. Se denota como p q .
La proposicin p q es verdadera slo si las proposiciones p
y q tienen diferente valor de verdad y es falsa en otro caso.
Tabla de verdad

p
V
V
F
F

q
V
F
V
F

pq

F
V
V
F

Ejemplo:
p: me estas diciendo la verdad
~p: me ests mintiendo
p ~p
: O me ests diciendo la verdad o me ests
mintiendo
Como se mencionaba anteriormente, este o se usa en el
sentido sentido excluyente, que hace que la frase anterior
sea verdadera (se puede verificar fcilmente mediante una
tabla de verdad).

Se llama condicional de las proposiciones p y q a la


proposicin Si p, entonces q. La primera proposicin se llama
antecedente y la segunda consecuente.
Se denota por p q y se lee: si p entonces q p es
condicin suficiente para q q es condicin necesaria para
p.
La proposicin p q es falsa solamente si p es verdadera y q
es falsa y es verdadera en cualquier otro caso.

Tabla de verdad

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Ejemplo:
p: el sistema solar est formado slo por astros
q: la tierra es un astro
p q: si el sistema solar est formado slo por astros,
entonces la tierra es un astro

Se llama bicondicional de las proposiciones p y q a la


proposicin p si y slo si q p es condicin necesaria y
suficiente para q y se denota por p q.
La proposicin p q es verdadera si ambas p y q son
verdaderas o falsas y, es falsa en otro caso.
Tabla de verdad

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

También podría gustarte