Propositional formulas form a basis

Propositional formulas form a basis for both regular expressions and
PLTL formulas. Let AP be a finite non-empty set of atomic propositions. Intuitively, atomic propositions are statements that are either true
or false in a state of the system. The propositional connectives are defined
with their usual semantics, and their shorthand connectives adopted for
convenience of notation. We define propositional formulas over the set of
atomic propositions AP

Kết quả (Việt) 1:

Công thức propositional tạo thành một cơ sở cho cả hai biểu thức thông thường vàCông thức PLTL. Cho AP là hữu hạn phòng không-trống bộ nguyên tử đề xuất. Trực giác, mệnh đề nguyên tử là báo cáo là một trong hai sự thậthoặc sai trong trạng thái của hệ thống. Propositional connectives được xác địnhvới ngữ nghĩa thông thường của họ, và của connectives viết tắt được áp dụng khitiện lợi của ký hiệu. Chúng tôi xác định công thức propositional trên các thiết lập củamệnh đề nguyên tử AP

Kết quả (Việt) 2:

Công thức mệnh đề hình thành cơ sở cho cả hai biểu thức thông thường và
công thức PLTL. Hãy AP là một tập không rỗng hữu hạn của mệnh đề nguyên tử. Bằng trực giác, mệnh đề nguyên tử là các câu lệnh hoặc là đúng
hay sai trong một trạng thái của hệ thống. Các từ nối mệnh đề được định nghĩa
với ngữ nghĩa thông thường của họ, và từ nối viết tắt của họ áp dụng cho
tiện lợi của ký hiệu. Chúng tôi xác định công thức mệnh đề trong tập hợp các
nguyên tử đề AP