En la figura se muestra una estructura de Kripke de tres estados.