Математическая логика и теория алгоритмов

Неоплакивай, смертный, вчерашнш потерь, Делсегодняшних завтрашней меркой немерь. Нибылой, нигрядущей минуте неверь, Верьминуте текущей - будьсчастлив теперь! Омар Хайям Если бывсепрошедшее былонастоящим, анастоя­ щеепродолжало существовать наряду с будущим, кто былбывсилах разобрать: гдепричины игдепоследствия? Козьма Прутков § 7. Временные (темпоральные) логики Временные {темпоральные')логики вводят понятия «было'», «есть-», «будет»(«раньше», «одновременно», «позже») и считается, что истинностное значение высказывания может быть разным в раз­ личные моменты времени. Например, «самолет летит» истинно во все те моменты времени, когда самолет летит, и ложно во все те, когда он не летит. Отрицание высказывания истинно во все те времена, когда само высказывание ложно, и ложно во все те времена, когда само утвер­ ждение истинно, Конъюнкция двух высказываний истинна во всякое время, в которое истинно каждое из этих высказываний, и ложно во всякое другое время. Остальные операции определяются через отрицание и конъюнкцию. К высказываниям могут быть применены также, так называе­ мые, временные операторы - Р иF . Оператор F образует будущее время: F q читается «будет иметь место случай, что q » или «будет q » ( слабое будущее). ИспользуяРиЕ , определяют сильное прошлое и будущее; def Н д= ^ P ^ q - всегда было q (сильное прошлое); 212