dilema construtivo

Dilema construtivo é uma regra de inferência válida da . É a inferência que diz: se P implica Q e R implica S, e P ou R é verdade, então Q ou S tem que ser verdade. Em suma, se duas condicionais são verdade e pelo menos um de seus antecedentes também o é, então pelo menos um de seus consequentes também precisa ser. Dilema construtivo é a versão disjuntiva do modus ponens, enquanto, odilema destrutivo é a versão disjuntiva do Modus tollens. Formalmente: ou seja: sempre que instâncias de "", "", e"" aparecerem numa linha de alguma prova, "" pode ser concluído na linha seguinte.