Un sistema formal es un lenguaje formal dotado de un mecanismo deductivo. Los sistemas formales induce la creación de teorías científicas o el apoyo para estas.
La construcción de sistemas formales induce la creación de modelos que describen de una mejor forma los fenómenos que aquellos mitos no logran explicar.
El sistema formal se divide entre:
1. Reglas de Formación
1.1 Todo elemento de P es una formula bien formada ( f.b.f)
1.2 Si α es una fórmula bien formada entonces ~α es una formula bien formada.
1.3 Si son α,β f.b.f entonces αvβ es una f.b.f
1.4 Solo serán f.b.f las cadenas que se generan al aplicar las primeras tres reglas.
2. Definiciones
Sean P, Q proposiciones, entonces:
2.1 Definición de la conjunción:
( P ∧ Q ) ↔ [ ~(~ P v ~ Q) ]
2.2 Definición del condicional:
(P → Q) ↔ (~P v Q)
2.3 Definición del bicondicional:
(P ↔ Q) ↔ [( P → Q) ∧ (Q → P) ]
(P ↔ Q) ↔ [ (~~P v Q) ∧ ( ~ Q v P) ]
(P ↔ Q) ↔ ~[~(~P v Q) ∧ ~(~Q v P) ]
En el sistema formal igualmente podemos encontrar el mecanismo deductivo, este mecanismo lo veremos en la siguiente entrada.
No hay comentarios:
Publicar un comentario