matematykaszkolna.pl
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