• Each atomic proposition (p ∈ AP)

• Each atomic proposition (p ∈ AP) is a propositional formula.

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

• Mỗi đề xuất nguyên tử (p ∈ AP) là một công thức propositional.

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

• Mỗi đề xuất nguyên tử (p ∈ AP) là một công thức mệnh đề.