Ver el código de «Archivo:IngSoft2 2parcial 24-11-2022 5-kripke.jpg»

De Cuba-Wiki

← Archivo:IngSoft2 2parcial 24-11-2022 5-kripke.jpg

No tienes permiso para modificar esta página, por el siguiente motivo:

La acción que has solicitado está restringida a los usuarios del grupo: Usuarios.

Puedes ver y copiar el código fuente de esta página.

Diagrama de Kripke que cumple AG EX p pero no cumple AG AX p

Volver a Archivo:IngSoft2 2parcial 24-11-2022 5-kripke.jpg.

Obtenido de «https://www.cubawiki.com.ar/index.php/Archivo:IngSoft2_2parcial_24-11-2022_5-kripke.jpg»