Diferencia entre revisiones de «Filosofía»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 83.39.1.15 a la última edición de Dorieo |
|||
Línea 48:
#Ni está nevando ni hace frío.
#Por lo tanto,
Las expresiones de las que depende la validez de los argumentos se llaman [[Cálculo lógico#Sistematización de un cálculo|constantes lógicas]], y la lógica las estudia mediante sistemas formales.<ref>Carlos Peregrín Otero ''Introducción a la lingüística transformacional'', p. 213, Siglo XXI, 1989 ISBN 978-968-23-1541-1</ref> Dentro de cada sistema formal, la relación de consecuencia lógica puede definirse de manera precisa, sea por medio de [[teoría de modelos]] o por medio de [[teoría de la demostración]].
| |||