dilemma

dilemma

dilemma in logica, argomentazione che si basa sul ragionamento seguente: se da due premesse diverse A e B, almeno una delle quali è vera, si giunge alla stessa conclusione C, allora ciò comporta la validità della conclusione C. Formalmente ciò equivale a dire che dalle premesse A ∨ B, A ⇒ C e B ⇒ C è possibile dedurre la formula C cioè A ∨ B, A ⇒ C, B ⇒ C ⊦ C.