Diferencia entre revisiones de «Filosofía»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.148.130.117 (disc.) a la última edición de AVBOT |
|||
Línea 57:
# 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, generalmente por medio de [[teoría de modelos]] o por medio de [[teoría de la demostración]].
|