deduction theorem - Turkish English Dictionary