Candidate: drafted from the sources shown, not yet read by the two reviewers.
a-
a- In logic, A is the symbol for a universal affirmative statement, meaning that something is said to be true of all members of a group.
In logic, A is the symbol for a universal affirmative statement, meaning that something is said to be true of all members of a group. An example is a statement like “all men are mortal.”