"logisk bevis" er et 12-bokstavers substantiv som brukes som synonym for "deduksjon". deduksjon betyr: Bevis basert på gyldige logiske trinn.