Rastavljena dedukcija sa sudom stvarne disjunkcije
Ako se kaže: “Broj je paran ili neparan”, u tom slučaju moguće je da reče­nica izuzeća bude u jednom od četiriju oblika, koji sukladno tome daju različite rezultate.
  1. Znamo da je x paran → nije neparan.
  2. Znamo da je x neparan → nije paran.
  3. Znamo da x nije paran → neparan je.
  4. Znamo da x nije neparan → paran je.
Dakle, u ovom obliku rastavljeno disjunktivne dedukcije postoje četiri metoda izvođenja zaključka:
  1. Potvrđivanje prve strane radi negiranja druge strane suda.
  2. Potvrđivanje druge strane radi negiranja prve strane suda.
  3. Negiranje prve strane radi potvrđivanja druge strane suda.
  4. Negiranje druge strane radi potvrđivanja prve strane suda.
Medioteka - Udruga za promicanje medijske kulture djece i mladih // www.medioteka.hr // info@medioteka.hr