ใณใใผใใใ็จไบใใใฃใฆใใใฃใใจๆธใพใใใใฎใงใๆทฑๅคใ ใฃใใๆฅ้ฝใณใณใใใซ่กใฃใฆใณใใผๆฉใไฝฟใใใจใซใใ. ใใฎไบบใฏ่ท็ฉใๅฐใๅคใใฆใๅฅณๆงใๆใคใซใฏ้ใใใชใใใฐใ ใฃใ. ใใใใณใใผๆฉใฎไธใซไนใใใใฎไธใง iPad ใไฝใใ็ฝฎใใฆๆไฝใใใฎใซๅคขไธญใ ใฃใ. ใใใใใใไปใใใณใใผใใๅฟ ่ฆใฎใใใใกใคใซใๆขใใฆใใฎใใ็ฅใใชใใจๆใใ ้ฉๅฝใซ่ๅณใใชใๅๅใ่ฆใฆๆ้ใๆฝฐใใใใไธๅใซใณใใผใใใๆงๅญใใใใใใฏใฉใฃใใซๆถใใฆใใใๆฐ้ ใ็กใใฎใงใๅซใ ๅฃฐใๆใใฆใฉใใฆใใใฃใ. ใใใไบบ้ใ ใจๆใฃใ.
ๆ็ซใใๆฐใใใฆๅฎ็ใจใใฆๆธใใๅฎ็:
ๅฝ้ก \(P,Q\) ใใใใใ็ใซใชใ็ขบ็ใ \(p,q\) ใฎใจใใซใ \[(P \Rightarrow Q) \implies (p \leq q)\]
็ดๆ็ใซใฏๆใ็ซใกใใ. ใคใพใใใใณๅณใๆธใใๆใๆ็ซใใ็ขบ็ใฏไธธใฎๅคงใใใๆฑบใใ \(\implies\) ใฏๅ ๅซ้ขไฟใไธใใใใ.
็ขบ็็ๅฝ้กใฎๅฎ็พฉใใพใ ่ถณใใชใใฎใใ.