[
A+DS
] [
Propositional Logic
]
Wff
[
Moved
].