A procedure that reliably generates true conclusions from true premises constitutes a functionally v...