Доказ у логіці обґрунтування істинності судження за правилами логіки. Судження, істинність якого потрібно довести, називають тезою. За доказом тези користуються аргументами та фактами. Логічний зв'язок між аргументами та тезою має обґрунтувати істинність тези.
Тезою називається судження, або становище, істинність (або хибність) якого з'ясовується за допомогою даного докази. Доведений теза зазвичай немає очевидності.
Теза – якесь твердження, думка («у логіці становище, істинність якого потребує докази» БСЕ). Аргументи – доводять, істинність тези. Деякі факти, аргументи на підтримку тези.
Доведення – Міркування за певними логічними правилами, що обґрунтовує істинність будь-якого припущення, твердження, гіпотези або теорії. У різних галузях науки, мистецтва та іншої людської діяльності цей термін може набувати різних значень.