p ‾ stands for all atomic propositions.
ξ ‾ stands for any set of propositions.
N ( ξ ‾ ) stands for the negation of all the propositions making up ξ ‾ .
p ‾ stands for all atomic propositions.
ξ ‾ stands for any set of propositions.
N ( ξ ‾ ) stands for the negation of all the propositions making up ξ ‾ .