39593

określonego zbioru W naukach doświadczalnych i w życiu potocznym istotną rolę odgrywają schematy gdzie jedną z przesłanek jest zdanie jednostkowe, a dnigą zdanie ogólne dotyczące wszystkich przedmiotów, do których należy przedmiot zdania jednostkowego. Konkluzja przypisuje temu przedmiotowi własność posiadaną przez wszystkie przedmioty zbioru, którego dotyczy zdanie ogólne.

F(a) oraz Vx(F(x)->G(x))    |- G(a)

b Vx(fx->gx)Afy -» gy Przykład:

■ F(a): Ten oto związek chemiczny jest białkiem

* Vx(F(x)-»G(x)): Jeżeli jakiś związek chemiczny jest białkiem, to związek ten zawiera azot - G(a): Ten oto związek chemiczny zawiera azot

W rozumowaniu dedukcyjnym uznanie przesłanek nie jest konieczne, można bowiem prawidłowo wyciągnąć wnioski nie tylko ze zdań uznanych, ale również ze zdań przyjętych problematycznie (przyjęcie możliwości) czy założonych tylko. Mogą zachodzić więc następujące 3 sytuacje:

1.    ^ A oraz |=A-»B— (=B

2.    PmA oraz A-»B — PmB

3.    A oraz A-»B — B.

I przesłanka i konkluzja mogą mieć różna kwalifikacje poznawcze. Przesłanka II jest zawsze zdaniem uznanym. Jednym z warunków poprawności wnioskowań dedukcyjnych jest zachodzenie wynikania logicznego między iloczynem zdań przesłanek i zdaniem konkluzji.