{\displaystyle P(\neg A)}