Lógica matemática

5 bytes añadidos, 24 agosto
<math>A</math> es una consecuencia lógica de <math>\Gamma</math>, escrito <math>\Gamma\vDash A</math>, cuando
<div align="center">No hay interpretación modal <math>\langle W, R, \intrmathbb{I}\rangle</math> y <math>w\in W</math> tal que
<math>\mathbb{I}_{w}(B)=1</math> para todo <math>B\in\Gamma</math> y <math>\mathbb{I}_{w}(A)=0</math>.
Autores, Editores, burócratas, Administrador
1941
ediciones