86627

Przykład I

Każda planeta jest ciałem niebieskim, każda gwiazda jest ciałem niebieskim, a więc każda gwiazda jest planetą.

Zapiszemy powyższe rozumowanie w postaci trybu. Nie trudno dociec, że otrzymamy następujący tryb:

P a M S a M

S a P

Uzyskany schemat nie spełnia warunku, który ustala, że termin średni musi przynajmniej w jednej przesłance być wzięty ogólnie, tzn. musi być podmiotem zdania ogólnego (M a P; M e P; M a S; M e S) lub orzecznikiem zdania przeczącego (np. S e M; S o M; P e M; P o M). Nie jest więc poprawny.

Przykład li

Sprawdźmy jeszcze jedno rozumowanie:    każda roślina jest żywym

organizmem, każdy kwiat jest rośliną, a zatem: każdy kwiat jest żywym organizmem.

Podane wnioskowane można rozpisać następująco:

Ma P S a M

S a P

Otrzymaliśmy tryb zwany Barbara. Jest to bez wątpienia tryb poprawny.

Przykład III

Sprawdźmy jeszcze jeden przykład wnioskowania: „Wszyscy urzędnicy są pracobiorcami. Wszyscy pracobiorcy są płatnikami podatku od wynagrodzeń. Zatem: niektórzy płatnicy podatku od wynagrodzeń są urzędnikami".

Zgodnie z przyjętą procedurą, spróbujemy nadać powyższemu rozumowaniu postać trybu sylogistycznego. Uzyskamy następującą postać:

P a M M a S

S i P

Otrzymaliśmy tryb figury IV (typu a a i), zwany Bamalip (nazywany też Bramantip). Zatem tryb jest poprawny.