Diferencia entre revisiones de «Archivo:IngSoft2 2parcial 24-11-2022 5-kripke.jpg»
De Cuba-Wiki
Sin resumen de edición |
(Sin diferencias)
|
Revisión actual - 17:55 4 dic 2022
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: