Curso:

FILOSOFIA

Ciclo:
Anual - SM
FORMALIZACIÓN

Es llamada también simbolización, a la transformaciones de la proposiciones y conjunciones

gramaticales , expresadas de un lenguaje natural a un lenguaje artificial.

¿Qué es el lenguaje formal?

Es el lenguaje artificial que reemplaza mediante símbolos a las proposiciones y conectores lógicos.

- El lenguaje formalizado es un lenguaje universal, pues es entendible en cualquier parte del mundo.
- El lenguaje formalizado es formal, permite percibir con claridad la transformación de estas.
FOTO
FORMALIZACION DE PROPOSICIONES
FOTO
A. VARIABLES: son símbolos que reemplazaran a una proposición o formula lógica ( proposición
compuesta)
FOTO
La simbolización que se usa para las proposiciones : p, q, r, s, t…

Ejem:
- Sócrates es filosofo Ateniense.
P
FORMALIZACIÓN

B. CONSTANTES: llamados también conectivos u operadores lógicos, estos símbolos reemplazan

a las conjunciones gramaticales.

- FOTO
CONJUNTIVA
˄ (P ∧ Q)
- DISYUNTIVA DEBIL O INCLUSIVA V (P ∨ Q)
DIÁDICAS - DISYUNTIVA FUERTE O EXCLUSIVA (P
- CONDIONAL →
(P → Q)
- BICONDICIONAL ↔
(P ↔ ~Q)

MONÁDICA - NEGACION ˷
~P
EJERCICIOS

Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan.
A) (p∧r)∧(q∧r)
B) (p∧r)∨(q∧r)
C) (p∧~r)∨(q∧~r)
D) (p∧~q)∨(r∧~q)
E) (p∧q)∨(r∧q) O

Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me
internaran en un psiquiátrico.
(p ⋁ q) ⋁ (r ⋀ s)
(p ⋁ q) ⋀ (r ⋀ s)
(p ⋁ q) → (r ⋀ s) FOTO FOTO
(p ⋁ q V q) → (r ⋀ s)
p⋁q→r⋀s FOTO FOTO

Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o domines la deducción lógica.
Pero no dominas la deducción lógica aunque has estudiado.
A)[(~p ∨ ~q) → (~r ∨ s)] ⋀ ~s ⋀ r
B) [(~p ∨ ~q) → (~r ∨ s)] ∨~s ⋀ r
C) [~(p ∨ q) → ~(r ∨ s)] ⋀ ~s ⋀ r
D) [(~p ∨ ~q) → ~(r ∨ s)] ⋀ ~s ⋀ r
E )[(~p ∨ ~q) → ~(r ∨ s)] ⋀ s ⋀ r