CONJUNCION

El concetor es la (y) y se representa simbólicamente con

Regla: Solo son verdaderas si las 2 proposicones son verdaderas

Ejemplo:

1. 1km son 1000 m y 1 m son 1000 m las 2 proposiciones son verdaderas

p q (v)
2. La tierra es plana y es el centro del universo las 2 proposiciones son falsas
p q (f)
3. Hoy es 14 de octubre y mañana es lunes 1 es verdadera y la otra es falsa
p q (f)
TABLA DE VERDAD DE LA CONJUNCION

p q p q
v v v
v f f
f v f
f f F

CONYUNCION

El concetor es la ( o) y se representa simbólicamente con v

La o es inclusiva porque une las proposicones las cuales pueden ser verdaderas o falsas

Regla: Las 2 proposicones deben ser verdaderas

Las 2 proposiciones son falsas

Ejemplo:

1. 1km son 1000 m o 1 m son 1000 m las 2 proposiciones son verdaderas

p v q (v)
2. La tierra es plana o es el centro del universo las 2 proposiciones son falsas
p v q (f)
3. Hoy es 14 de octubre o mañana es lunes 1 es verdadera y la otra es falsa
p v q (f)
TABLA DE VERDAD DE CONYUNCION

p q p v q
v v v
v f V
f v V
f f F
 CONDICIONAL
El concetor es (si, entonces ) y se representa simbólicame con una flecha

Regla: Solo sera falso cuando p sea verdadero y q sea falso

Ejemplo:

1. Si 1km son 1000 m entonces 1 m son 1000 m las 2 proposiciones son

verdaderas
p q (v)
2. Si La tierra es plana entonces es el centro del universo las 2 proposiciones son
falsas
p q (f)
3. Si Hoy es 14 de octubre entonces mañana es lunes 1 es verdadera y la otra es falsa
p q (f)

TABLA DE VERDAD CONDICIONAL

p Q p q
v V V
v F F
f V V
f F V

DOBLE CONDICIONAL
El concetor es (si y solo si, es equivalente ) y se representa simbólicamente una flecha doble

Regla: Las propociones es verdadero solo si ambas proposiciones son verdaderas o si ambas son
falsas

Ejemplo:

1. 1km son 1000 m si y solo si 1 m son 1000 m las 2 proposiciones son verdaderas
p q (v)
2. La tierra es plana si y solo si es el centro del universo las 2 proposiciones son falsas
p q (v)
3. Hoy es 14 de octubre si y solo si mañana es lunes 1 es verdadera y la otra es falsa
p q (f)
TABLA DE VERDAD DOBLE CONDICIONAL

p q p q
V V V
V F F
F V F
F F V