Etapa1: Terminologas de la lgica matemtica.

Tarea: Conceptualizacin y
mnimo 3 ejemplos.

2. Las cuatro Tablas de verdad: conjuncin, disyuncin, implicacin y bicondicional.

Conjuncin: Es el conectivo lgico ^ que es igual a y que une las proposiciones

simples p, q para formar la proposicin compuesta p ^ q. La conjuncin se asocia
con el cumplimiento de requisitos de tal modo que esta es verdadera nicamente
cuando las dos proposiciones simples son verdaderas.

Si una de las proposiciones es falsa, entonces p ^ q es falsa.

figara 1

Sinnimos da la conjuncin: Adems, Tambin, pero, An, Sin embargo, A la vez,

Aunque, No obstante.

1. Ejemplo:

r= Carlos vive en Bogot

s= su esposa vive en Cali

r^s

Carlos vive en Bogot y su esposa vive en Cali.

2. Ejemplo:

p= Jos est trabajando.

q= l est enfermo.

p^q

Jos est trabajando, aunque l est enfermo.

3. Ejemplo:

t= Bogot es la capital del pas.

u= Cali es la capital de la salsa.

t^u

Bogot es la capital del pas, sin embargo, Cali es la capital de la salsa.

Disyuncin: Es el contenido lgico v que es igual a o que une las proposiciones

simples p, q para formar la proposicin compuesta p v q. Asociamos la disyuncin
con la eleccin o la escogencia de tal modo que esta es falsa nicamente cuando
las dos proposiciones simples son falsas. En cualquier otro caso la disyuncin es
verdadera.

figura 2

1. Ejemplo:

r= Carlos vive en Bogot

s= su esposa vive en Cali

rv s

Carlos vive en Bogot o su esposa vive en Cali.

2. Ejemplo:

p= Jos est trabajando.

q= l est enfermo.

pvq

Jos est trabajando o l est enfermo.

3. Ejemplo:

t= Bogot es la capital del pas.

u= Cali es la capital de la salsa.

tvu

Bogot es la capital del pas o Cali es la capital de la salsa.

Nota: Existe tambin la disyuncin exclusiva, donde las proposiciones p y q. Se

denotan por p q o p q.

La proposicin p q es verdadera solo si una de las proposiciones p q es

verdadera y es falsa si ambas son falsas o si ambas son verdaderas.

Ejemplos:
David juega futbol o baloncesto.

Laura est en cine o est en su casa.

Implicacin o condicional: Es el conectivo lgico que une las proposiciones simples

p, q para formar la proposicin compuesta p => q, que leemos: si p entonces q.

Asociamos la implicacin con la relacin causa-efecto; p se le llama causa o

antecedente, y q se llama efecto o consecuente. Significa que, si ocurre p, entonces,
ocurre q.

La proposicin p => q es falsa solamente si p es verdadera y q es falsa y es

verdadera en cualquier otro caso.

Figura 3

1. Ejemplo:

r= Carlos vive en Bogot

s= su esposa vive en Cali

r => s

Si Carlos vive en Bogot, entonces su esposa vive en Cali.

2. Ejemplo:

p= Jos est trabajando.

q= l est enfermo.

p => q
Si Jos est trabajando, entonces l est enfermo.

3. Ejemplo:

t= Bogot es la capital del pas.

u= Cali es la capital de la salsa.

t => u

Si Bogot es la capital del pas, entonces Cali es la capital de la salsa.

Doble implicacin o bicondicional

Es el conectivo lgico que une las proposiciones simples p, q para formar la

proposicin compuesta p => q, que leemos: p si y solo si q p es condicin
necesaria y suficiente para q.

La proposicin compuesta p => q puede descomponerse en dos implicaciones

de sentido contrario, esto es: p => q ^ q => p verificando en una tabla de verdad
concluiremos que la doble implicacin p => q es verdadera cuando ambas
proposiciones simples p, q son verdaderas y cuando ambas proposiciones simples
son falsas, en los otros casos p => q es falsa. Dos proposiciones son lgicamente
equivalentes si sus tablas de verdad son idnticas.

figura 4

1. Ejemplo:
r= Carlos vive en Bogot

s= su esposa vive en Cali

r => s

Carlos vive en Bogot, si y solo si su esposa vive en Cali.

2. Ejemplo:

p= Jos est trabajando.

q= l est enfermo.

p => q

Jos est trabajando, si y solo si l est enfermo.

3. Ejemplo:

t= Bogot es la capital del pas.

u= Cali es la capital de la salsa.

t => u

Bogot es la capital del pas, si y solo si Cali es la capital de la salsa.