Ti̍t-chiap chèng-bêng

佇 (Tī)數學 (sò͘-ha̍k)佮 (kap)邏 (lô)chek，直接 (ti̍t-chiap)證明 (chèng-bêng) (direct proof) 是 (sī)1種 (chióng)直接組合 (cho͘-ha̍p)公設 (kong-siat)，定義 (tēng-gī)，事實 (sū-si̍t)，小定理 (sió-tēng-lí) (lemma)，定理 (tēng-lí)來 (lâi)說明 (soeh-bêng)1个 (ê)陳述 (tîn-su̍t)是正實的 (chiaⁿ-si̍t--ê)抑 (ia̍h)假的 (ké--ê)的 (ê)過程 (koè-têng)。 過程呢 (Kòe-têng--nih)頭 (thaû)1步 (pō͘)到 (kaù)甲 (kah)上 (siōng)尾 (boé)的結論 (kiat-lūn)攏 (lóng)著愛 (tio̍h-ài)用 (ēng)演繹 (ián-e̍k) (deduction) 的邏chek來進行 (chìn-hêng)。用著 (Ēng--tio̍h)的邏chek差不多 (chha-put-to)攏是包含 (pau-hâm)全部 (choân-pō͘)的 ...(for all) 抑存在 (chûn-chāi) ...(there exists) 的一階 (it-kai)邏chek。上捷 (chia̍p)用著的證明規則 (kui-chek)是MP (modus ponens)，第 (tē)2捷用的 (ēng--ê)是MT (modus tollens); 邏chek轉換 (choán-oāⁿ) (transposition) 甘 (ham)MTP (disjunctive syllogism) 嘛 (mā)真 (chin)好用 (hó-ēng)。

尼 (Lē)

這 (Chit)个例 (lē)用直接證明來證明雙數 (siang-sò͘)家 (ke)雙數猶 (iáu)是相數 (siang-sò͘)。

考慮 (Khó-lū)2个雙數 $x$ 甘 $y$。因為 (In-ūi)因 (in)攏是相數，會當 (ē-tàng)共 (kā)寫 (siá)做 (chò) $x=2a$ 甘 $y=2b$，$a$ 甘 $b$ 是較 (khah)細 (sè)的整數 (chéng-sò͘)。按呢 (Án-ne)，$x+y=2a+2b=2(a+b)$，也 (iā)就 (tō)是講 (kóng) $x+y$ 是2个倍數 (poē-sò͘)， 1个雙數。所以 (Só͘-í)2个雙數家做伙 (chò-hoé)定著 (tiāⁿ-tio̍h)嘛是相數。