Dicționar de logică - legea silogismului ipotetic

Legea silogismului ipotetic

legea silogismului ipotetic

lege a logicii care caracterizează implicația ( „în cazul în care, apoi“): în cazul în care prima presupune a doua, apoi în cazul în care al doilea implică al treilea, primul implică al treilea. Ex. „În cazul în care creșterea cunoștințelor persoanei crește capacitatea de a proteja împotriva bolii, dacă este posibil, cu creșterea duratei medii de creștere a vieții umane, cu cunoștințele persoanei crește, durata medie a vieții sale.“ Cu alte cuvinte, în cazul în care prima condiție pentru adevăr este adevărul de-al doilea, în cazul în care a doua condiție pentru adevăr este adevărul celui de al treilea, adevărul din urmă există, de asemenea, o condiție a primului adevăr.

Prin utilizarea simbolurilor logice, legea reprezentate după cum urmează (P, q, r, unele declarații n implicare „dacă, atunci“.):

(P p q) -> ((qq r) -> (p p r)),

if (dacă p, q), atunci (dacă este (dacă q, r), apoi (dacă p, r)).

3. oraș cu. structură similară cu legea tranzitivitate, de asemenea, numit conjunctivă silogismul, ipotetic: în cazul în care acest lucru este cazul, că în cazul în care primul, al doilea, și dacă al doilea, apoi al treilea, în cazul în care prima, apoi a treia.

Aceste legi sunt numite (imshshkativnymi condiționate) silogisme ipotetice ale similaritatea logicii lor tradiționale, cunoscute încă din antichitate, și denumit silogisme. Schemele sunt astfel de deducții două parcele anumit tip perfectate având unele nehotărât (deși, probabil, altele) tip.