Maestro: Pimienta Mercado Eulogio

Alumno: Suarez Contreras Jonathan Miguel

Carrera: TPSI
Modulo: Programación lógica

Proposiciones bien formadas.

 Introducción.
Aquí les daré una pequeña introducción a nuestro tema indicándoles la
definición de la formulación de formula lógicas, además de que
veremos las 12 reglas para formalizar una proposición.
Definición de la formulación de fórmulas lógicas:
Una fórmula lógica, es una cadena de símbolos construida según reglas
establecidas por la sintaxis lógica. Puede ser de dos tipos: atómica y
molecular. Una fórmula atómica es aquella que no contiene entre sus
símbolos ningún operador y puede ser representada por una variable
proposicional, mientras que una fórmula molecular contiene entre sus
signos, al menos, un operador. La sintaxis lógica es una disciplina meta
lógica que estudia el lenguaje de la lógica desde el punto de vista formal,
es decir, sin interesarse más que por las relaciones entre los símbolos.
Ella permite la construcción de fórmulas bien formadas estableciendo,
con tal objeto, reglas para usar y combinar símbolos.
Regla 1. Toda variable proposicional (‘p’, ‘q’, ‘r’, ‘s’) es una FBF.
Regla 2. Si ‘p’ es una FBF, entonces ‘~ p’ es también una FBF.

Regla 3. Si ‘p’ y ‘q’ son FBF, entonces ‘p ∧ q’, ‘p ∨ q’, ‘p q’, ‘p →q’, ‘p
q’ ‘p ↓q’ y ‘p q’ son igualmente FBF.

Regla 4. Una cadena de símbolos es una FBF si y sólo si se sigue de

la aplicación de R.1, R.2 y R.3.
Regla 5. Una fórmula lógica está bien formada si y sólo si existe una
jerarquía claramente establecida entre sus operadores; en caso
contrario, la fórmula carece de sentido.
Regla 6. Una FBF tiene un nombre y éste depende de su operador de
mayor jerarquía.
Regla 7. El operador de mayor jerarquía es aquel que está libre de los
signos de agrupación: ‘( )’, ‘[ ]’, ‘{ }’.
Regla 8. Los signos de agrupación se usan sólo cuando su omisión
hace ambigua una fórmula, es decir, cuando una fórmula es
susceptible de una doble interpretación.
Regla 9. Los operadores diádicos tienen mayor jerarquía que el
operador monádico.
Regla 10. El operador negativo se escribe antes y no después de una
fórmula.
Regla 11. El operador negativo no se escribe entre dos fórmulas, sino
inmediatamente a la derecha de un operador diádico.
Regla 12. Si un operador negativo antecede a otro operador
igualmente negativo, entonces el de la izquierda tiene mayor jerarquía.
1. (p Ʌ q) V r FBF
2. p 🡪 q FBF
3. ~ p ~ V q FMF
4. (p 🡪 q) 🡪/🡪 (p Ʌ r) FBF
5. (p V q) 🡪🡪 ~(r Ʌ p) FBF
6. (p 🡪 q) (v q 🡪 r). FMF
7. (p Ʌ q) V (r Ʌ q) FBF
8. (p 🡪q) ~ r. FMF
9. ~ (~p 🡪/🡪 q) FBF
10.p ~ q FBF
11.(p Ʌ ~q) v (~p Ʌ q). FBF
12.p ~. FMF
13.(p 🡪 q) V ~ r. FBF
14.~ ( ~ p). FBF
15.~p 🡪/🡪 q FBF
16.q ~ (~p 🡪/🡪 q) FBF
17.p V q Ʌ r. FBF
18.p 🡪 ( r Ʌ q). FBF
19.p 🡪 ( q Ʌ ~ q). FBF
20.p V ~ p. FMF
conjunción y Ʌ
disyunción Inclusiva o V
disyunción exclusiva o 🡨/🡨
condicional si …… entonces 🡨
bicondicional si y solo si 🡨🡨
negación no ~
 Conclusión:
En mi conclusión este tema de la formulación de fórmulas bien y mal
formadas fue interesante ya que he aprendido sobre cómo saber
realizar frase que no tengan ambigüedades ya que con los
conocimientos adquiridos me ayudará a hacer e identificar fórmulas o
oraciones mal y bien formadas.
Bibliografías:
LÓGICA DE PROPOSICIONES. 4, octubre, 2022, de -. Sitio web:
HTTPS:// SISBIB.UNMSM.EDU .PE / BIBVIRTUALDATA/ LIBROS /FILOSOFIA/ INTRO _ LOGICA/1_ PARTE .PDF