Feltételes és feltételesen kategorikus szillogizmus
Úgynevezett tisztán hagyományos gondolkodásmód, a két csomag, amely a feltételes ítéletek. Például:
A példában, mind helyiségek - feltételes ítélete, ahol az első feltevést következménye a második bázis, (c) a, amely viszont magában foglalja, a következmény (ek). Az általános rész a két parcellák (c) lehetővé teszi, hogy csatlakoztassa a bázis az első (a), és hatása a második (ek). Ezért azt a következtetést is kifejeződik formájában feltételes ítélet.
Ha a rendszer tiszta. akkor.
Feltételes érvelés: ha. valamit.
Nyomtató tisztán feltételes következtetés alapján a szabály: következménye a vizsgálat eredménye a bázis.
Következtetés, amelyben a következtetést nyert két hagyományos csomagolások, utal egyszerű. Azonban a következtetést eredhetnek nagyobb számú parcellák egy láncot alkotnak feltételes ítéletek. Ezt az értelmezést az úgynevezett összetett.
Ez a következtetés két helyes modus: megerősíti és tagadja.
Ha egy művelet által indított cselekvőképtelen személy (a), a bíróság hagyja a követelés ellenérték nélkül (in).
A beperelte a cselekvőképtelen személy (ek).
Bíróság elhagyja a követelés ellenérték nélkül (in).
Vezetés: Ha A, akkor B.
Ha egy művelet által indított cselekvőképtelen személy (a), a bíróság hagyja a követelés ellenérték nélkül (in).
A Bíróság nem hagyja el a követelés ellenérték nélkül (nem c).
Nem igaz, hogy a beperelte a cselekvőképtelen személy (nem A).
Vezetési tagadja modus: Ha A, akkor B.
Akkor és csak akkor a szám osztható 2 maradék nélkül, akkor még.
Száma 8 osztható 2 maradék nélkül.