Actualmente estoy haciendo un curso de lógica matemática. Ahora estoy estudiando la lógica proposicional y estoy teniendo algunos problemas para acostumbrarme a la simbología utilizada, así como a la idea general que hay detrás de la lógica matemática.
De todos modos, ¿alguien puede explicarme qué significa esta notación? $$\left \langle \left \{ t_1,t_2,...,t_n \right \}, t \right \rangle$$ , donde $t_1,t_2,...t_n,t$ son fórmulas proposicionales.
Es un par ordenado donde el primer término es un conjunto de $n$ fórmulas y el segundo término es una fórmula.
Es la forma general de una regla de inferencia, donde el primer término es el conjunto de premisas y el segundo es la conclusión.
Sólo se trata de una "variante notacional" de $(\Gamma, \varphi)$ ; véase Christopher Leary y Lars Kristiansen, Una introducción amigable a la lógica matemática (2ª ed.2015) , página 42.
Siguiendo esta notación, podemos escribir lo habitual Modus Ponens regla : $\dfrac {A \ \ A \to B}{B}$ , de la siguiente manera :
$⟨ \{ A, A → B \},B ⟩$ .
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
