ASERCIÓN
En algunos textos lógicos se ha introducido un signo —propuesto por Frege— que se llama «signo de aserción»: es el signo ‘|—’ Este signo se lee ‘Es el caso que’, ‘Se afirma que’, ‘Se establece que’. En muchos casos el signo no es usado por suponerse implícitamente que todas las fórmulas introducidas son objeto de
