logika
Staś: Logika temporalna F i G.
Udowodnij, że prawdziwe są relacje;
1)GFGφ⇔FGφ
2)¬Gφ⇔F¬φ
Gφ oznacza, że od danego momentu już zawsze będzie miało miejsce φ
Fφ oznacza, że kiedyś w przyszłości będzie miało miejsce φ
Ma ktoś jakiś pomysł?
27 kwi 12:11