Coba jelasin Bukti trivial dari Trivialiti (matematika) dong

Dalam beberapa teks, bukti trivial merujuk pada pernyataan yang melibatkan dimana konsekuensi Q adalah implikasi material P → Q. Bukti berdasarkan definisi implikasi material, sebagai implikasi terlepas dari bilangan anteseden P.

Konsep terkait adalah vacuous kosong, di mana anteseden P dalam implikasi material P → Q.  Implikasi terlepas dari bilangan konsekuensi Q berdasarkan definisi implikasi material.