Letrasº

Este es mi formulario en el cual os presento mis documentos y podeis estudiar y observar desde aqui.
El lenguaje lógico de la lógica proposicional consta de tres tipos de signos en su tarea dereconstruir la estructura lógica del lenguaje natural:

(1) Unos signos para representar las proposiciones simples o atómicas: se trata de
las letras proposicionales, que por convención suelendesignarse con las letras
minúsculas p, q, r, etc.
(1) Unos signos para representar las proposiciones simples o atómicas: se trata de
las letras proposicionales, que por convención suelen designarse conlas letras
minúsculas p, q, r, etc.

(2) Unos signos para formar proposiciones complejas o moleculares conectándolas entre sí:
se trata de las conectivas (también llamados conectores, o juntores).En la siguiente
tabla presentamos el nombre, el signo y la equivalencia con el lenguaje natural de las
cinco conectivas que utilizaremos:

Nombre de la
conectiva:

Negador

ConjuntorDisyuntor

Condicional

Bicondicional

Símbol Correspondenica en el
o:
lenguaje natural:

¬

"no ..."

^

"... y ..."

v

"... o ..."

→

"si ... entonces..."

"... si y sólo si..."

↔

(3) Unos signos auxiliares, que son los paréntesis, que pueden ayudar a delimitar dónde
comienza una parte de la fórmula y dónde acaba para empezar la siguiente. Su
equivalencia en ellenguaje natural serían los signos de puntuación en la lengua escrita.
Además de los signos primitivos que acabamos de conocer, necesitamos unas reglas que nos
permitan saber cuándo estamos ante unacombinación de símbolos que esté bien construida
en el lenguaje formal.

¿Qué es una fórmula bien formada?

Una fórmula es una secuencia de caracteres, pero es preciso delimitar de la totalidad decombinaciones posibles de caracteres aquellas que sean como "bien formadas"; para ello,
damos la siguiente definición de lo que es una fórmula bien formada, (o fbf):

1.
2.
3.
4.

Una letra...