Razonamiento

Matemático
LÓGICA DE CLASES
Y PROPOSICIONAL
Lógica proposicional

Lógica de clases
 LÓGICA PROPOSICIONAL

CONECTIVOS LÓGICOS TABLAS DE VERDAD

OPERACIÓN
CONECTIVOS LÓGICOS SÍMBOLO REPRESENTACIÓN p q pq pq p→q pq p∆q
LÓGICA
V V V V V V F
Negación No es cierto que ~p
Es falso que ~ V F V F F F V
Conjunción … y… F V V F V F V
además, aunque, pero,  p  q
también, … F F F F V V F
Disyunción … o … Aplicación: Si estudio aunque trabajo, entonces desapruebo.
Inclusiva salvo que, a menos  p  q Considerando que lo anterior es falso, ¿Qué se deduce?
que, excepto que, …
Resolución:
Condicional Si … entonces …
→ p → q Simbolizando: (p  q) → r p: estudio V
por lo tanto, se deduce
Bicondicional … si y solo si … Por dato: (p  q) → r  F q: trabajo V
 p  q
Cuando y solo cuando r: desapruebo F
V F
Disyunción o…o …
Exclusiva a menos que solamente  p  q
 LÓGICA DE CLASES

PROPOSICIONES CATEGÓRICAS SILOGISMO CATEGÓRICO

Aplicación: Si Ningún juez es novato y algún

UNIVERSAL AFIRMATIVA PARTICULAR NEGATIVA
Todo S es P Algún S no es P novato es flojo, entonces se deduce
NEGACIÓN Resolución
S P S P
J N N F
NEGACIÓN X
X
Algún S no es P ≡ Algún S es no P
J F
J F
UNIVERSAL NEGATIVA PARTICULAR AFIRMATIVA
Ningún S es P NEGACIÓN Algún S es P X
S P S P X
NEGACIÓN X Algún flojo no es juez
N
Ningún S es P ≡ Ningún P es S Algún S es P ≡ Algún P es S
 EQUIVALENCIAS EN LÓGICA DE CLASES LEYES DEL ALGEBRA PROPOSICIONAL

Deduzcamos algunas equivalentes. Por ejemplo, sea la proposición:

1. Ley Involutiva o 4. Ley de D´Morgan
Todo hombre es mortal
…..doble negación
~ (p  q) ≡ ~ p  ~ q
(p)≡ p ~ (p  q) ≡ ~ p  ~q
≡ ≡
2. Ley conmutativa 5. Ley de absorción

Si dentro de una clase se mueve el

Ningún hombre es no mortal p  (p  q) ≡ p
“rayado” eso negará a la otra clase. p  (p  q) ≡ p
p  (~ p  q) ≡ p  q
Para equivalencias se Todo S es P = Ningún S es no P p  (~ p  q) ≡ p  q
puede utilizar: Todo S es P = Todo no P es no S

NOTA: OBSERVACIÓN: 3. Ley de la condicional 6. Ley de la bicondicional

En una universal (TODO o NINGÚN)
si el NO afecta al verbo (ES o SON)
entonces el NO sale y niega toda la
proposición.
Ejemplo:
Todos S no es P = No todo S es P
Ningún S no es P = No ningún S es P
Cuando se nos pida una conclusión
o deducir (no equivalentes) p → q ≡ ~p  q p q≡(p→q)(q→p)
p → q ≡ ~q → ~p p  q ≡( p  q )  (~p  ~q )
Todo hombre es mortal
X Algún H es M
Clase no vacía (por existencial)
¡Gracias!