β β΄β
ππββ
Aβa
ββPβQ
β βπ€β‘οΈ
π§ π€«π€
πππͺ
π£οΈβ¦π€«
π€«...orπ...
...β‘οΈ...
PβQ
πβ ββ
β‘οΈβ/πβ
π¬ππ€
π ΏοΈβπ
PβQ
π€ββ /β
ππ¨β¨οΈ
π£οΈπͺ¦π€«
π€β‘οΈπ‘orπ€β‘οΈβ
π€π€«πβ
XβY
π °οΈβπ ±οΈβ΄β
π§ Β¬β§β¨β
πββποΈββοΈβ
ππ...
π ΏοΈβπ
π ΏοΈβ‘οΈβ
ππβ
π€«β‘οΈπ§
#proof #logic #verified #confirmed #result #consequence #follows from #therefore #implication #qed