β β΄β
ππββ
Aβa
ββPβQ
β βπ€β‘οΈ
π§ π€«π€
πππͺ
π£οΈβ¦π€«
π€«...orπ...
...β‘οΈ...
PβQ
πβ ββ
#proof #logic #verified #confirmed #result #consequence #follows from #therefore #implication #qed