En lógica simbólica la "reducción al absurdo" se expresa así: