Revisión del 20:03 23 abr 2009 editar 201.255.218.95 (discusión) Sin resumen de edición ← Ir a diferencia anterior		Revisión del 02:43 26 abr 2009 editar deshacer Davius (discusión · contribs.) Verificadores, Reversores 132 382 ediciones Revertidos los cambios de 201.255.218.95 a la última edición de 189.175.200.145 usando monobook-suite Ir a siguiente diferencia →
Línea 126: Como comentamos al inicio de esta sección, la deducibilidad en los distintos sistemas modales caracteriza diversas relaciones de consecuencia lógica. El sistema modal K es considerado básico porque la deducción en K caracteriza (es consistente y completo respecto a) la consecuencia lógica en ''todas las interpretaciones (normales)''. Por tanto: Γ <math>\vdash </math>α en K sissi Γ<math>\models</math>α para toda interpretación <W, R, ν> ====Variedad de sistemas modales====

Diferencia entre revisiones de «Lógica modal»