PROPOSICIÓN

PROPOSICIÓN
PROPOSICIÓN

Proposición atómica
PROPOSICIÓN

Proposición atómica

Valor de verdad: V o F
PROPOSICIÓN
˄
PROPOSICIÓN
˄

Proposición molecular
PROPOSICIÓN
˄

Proposición molecular

Valor de verdad: V o F
PROPOSICIÓN
Cláudio es profesor
PROPOSICIÓN
Cláudio es profesor
p
PROPOSICIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
PROPOSICIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
p → ~q
YENDO MÁS ALLÁ
La lógica proposicional toma la
proposición como siendo su unidad
mínima
YENDO MÁS ALLÁ
La lógica de primer orden “adentra”
a la proposición
YENDO MÁS ALLÁ
La lógica de primer orden “adentra”
a la proposición

Eso nos permite mejorar el análisis

del lenguaje
ALFABETO
ALFABETO
Constante individual
ALFABETO
Constante individual
a, b, c, ...
ALFABETO
Constante individual
a, b, c, ...

Nombra objeto particular

ALFABETO
Constante individual
a, b, c, ...

Nombra objeto particular

Juan, EE.UU., el mejor juez, ...
ALFABETO
Variable individual
ALFABETO
Variable individual
x, y, z, ...
ALFABETO
Variable individual
x, y, z, ...

Nombra algo en general, no un

objeto particular
ALFABETO
Predicado
ALFABETO
Predicado
P, Q, R, ...
ALFABETO
Predicado
P, Q, R, ...

Representa una expresión

predicativa o una relación
ALFABETO
Un predicado puede ser

Monario: ser filósofo

ALFABETO
Un predicado puede ser

Monario: ser filósofo

Binario: admirar a
ALFABETO
Un predicado puede ser

Monario: ser filósofo

Binario: admirar a
Ternario: estar entre
ALFABETO
Cuantificador
ALFABETO
Cuantificador
∀,∃
ALFABETO
Cuantificador
∀,∃

∀: “todo“, “cualquier”, “los”

ALFABETO
Cuantificado
∀,∃

∀: “todo“, “cualquier”, “los”

∃: “algún“, “varios”, “unos”
ALFABETO
Cuantificado
∀,∃

∀: universal
ALFABETO
Cuantificado
∀,∃

∀: universal
∃: existencial
ALFABETO
Conectivas
ALFABETO
Conectivas
˄, ˅, →, ~
FORMALIZACIÓN
Cláudio es profesor
FORMALIZACIÓN
Cláudio es profesor
P: ser profesor
FORMALIZACIÓN
Cláudio es profesor
P: ser profesor
a: Cláudio
FORMALIZACIÓN
FORMALIZACIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
FORMALIZACIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
F: ser filósofo
FORMALIZACIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
F: ser filósofo R: ser francés
FORMALIZACIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
F: ser filósofo R: ser francés A:
admirar a
FORMALIZACIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
F: ser filósofo R: ser francés A:
admirar a a: Sartre
FORMALIZACIÓN
Si Sartre es filósofo francés
entonces no admira a Carnap
F: ser filósofo R: ser francés A:
admirar a a: Sartre b: Carnap
FORMALIZACIÓN
FORMALIZACIÓN
Todos los tal son cual
FORMALIZACIÓN
Todos los tal son cual
Ningún tal es cual
FORMALIZACIÓN
Todos los tal son cual
Ningún tal es cual

Algún tal es cual

FORMALIZACIÓN
Todos los tal son cual
Ningún tal es cual

Algún tal es cual

Algún tal no es cual
FORMALIZACIÓN
Todo filósofo es aburrido
F: ser filósofo
A: ser aburrido

∀x (Fx → Ax)
FORMALIZACIÓN
Ningún filósofo es aburrido
F: ser filósofo
A: ser aburrido

∀x (Fx → ~Ax)
FORMALIZACIÓN
Algún filósofo es aburrido
F: ser filósofo
A: ser aburrido

∃x (Fx ˄ Ax)
FORMALIZACIÓN
Algún filósofo no es aburrido
F: ser filósofo
A: ser aburrido

∃x (Fx ˄ ~Ax)
FORMALIZACIÓN
FORMALIZACIÓN
FORMALIZACIÓN
FORMALIZACIÓN