Archivo:IngSoft2 2parcial 24-11-2022 5-kripke.jpg
De Cuba-Wiki
No disponible a mayor resolución.
IngSoft2_2parcial_24-11-2022_5-kripke.jpg (528 × 292 píxeles; tamaño de archivo: 15 kB; tipo MIME: image/jpeg)
Diagrama de Kripke que cumple AG EX p pero no cumple AG AX p
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
| Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
|---|---|---|---|---|---|
| actual | 17:55 4 dic 2022 | | 528 × 292 (15 kB) | Makopia (discusión | contribs.) |
No puedes sobrescribir este archivo.
Usos del archivo
La siguiente página usa este archivo:
