Trata de las leyes,

LÓGICA Es una ciencia modos y formas

PROPOSICIONAL formal del raciocinio
humano

Establece si la
Es decir, si es válida conclusión es
una inferencia consecuencia de
las premisas
PROPOSICIÓN
Es una oración con un significado
definido de la cual puede decirse
si es verdadera o falsa

Los valores de verdad de una

proposición son: Verdadero (V) y
Falso (F)

p: 13 + 7 = 20 PV; PVVD; Proposición Cerrada

q: 3! = 3 PF; PVVD; Proposición Cerrada
r: x + 7 = 12 Proposición Abierta; PVVND
 Se consideran a las:
interrogaciones,
exclamaciones,
emociones,
sentimientos,
órdenes, etc
Es una frase que no ¡Vamos!
es proposición Deténgase ahí
abierta o cerrada Te quiero

EXPRESION
NO
PROPOSICIONAL
 En una
proposición
compuesta
predomina la de
mayor potencia

CONECTIVOS
PROPOSICIONALES

Salvo que los

Son términos que
signos de
se usan para
puntuación o de
relacionar una o
agrupación
más
indiquen lo
proposiciones
contrario
CONECTIVO PROPOSICIONAL
SIMBOLO REGLAS
FUNDAMENTAL

No… ~ Es el más débil de todos

…y… ^
…o… Tienen igual potencia entre sí,
v pero son más potentes que ~.
(incluyente)
Para indicar el conectivo
dominante de una proposición
O…o… compuesta se recurre al uso de
V
(excluyente) los signos de puntuación o de
agrupación.

Son igualmente potentes entre sí,

Si … entonces 
pero son más potentes que los
anteriores, vale aquí la indicación
… si y solo si … 
anterior.
 No poseen
conectivos
proposicionales

Se

SIMPLE
q: 3x – 7 = 5 simbolizan
mediante
PS; PS Abierta letras
minúsculas

El valor de
verdad no lo
determina la
lógica sino las
ciencias
particulares
 Poseen por lo
menos dos
proposición
simple

4 ≥ 2  3! = 6 Y un
PC; PCV; PC
Cerrada
COMPUESTA conectivo
proposicional

2+x=8^3>7
PC; PC Abierta
TABLAS DE VALORES
DE VERDAD (TVV)

Es un diagrama en el que se
presenta y visualizan el valor de
verdad de una PC cerrada

O las posibilidades de valor de

verdad de una PC abierta
 NEGACION
p ~p
V F
F V
PS CONJUNCION DISYUNCION DISYUNCION CONDICIONAL BICONDICIONAL
INCLUSIVA EXCLUSIVA

p q p^q pvq pvq pq p  q

V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
 Tautología (T)
Si y solo si todos
los valores de
verdad del
conectivo
dominante son V

CLASES DE
PROPOSICIONES
COMPUESTAS
ABIERTAS

Contradicción (C) Contingencia

Si y solo si todos Si y solo si todos los
valores de verdad
los valores de del conectivo
verdad del dominante hay por
conectivo lo menos una V y
dominante son F una F
 A partir de una o
más
proposiciones se
obtiene otra que
es la conclusión,
haciendo uso de
las IN y de las
EN.

INFERENCIA

4 < 9 ^ 9 < 17  4 < 17

Todas las mujeres
son mortales.
Maritza es mujer.
Por lo tanto,
Maritza es mortal.
CIRCUITOS LÓGICOS

p^q p q

p
pvq q