Schematy rozumowań dedukcyjnych


modus ponens


Przesłanki: p � q
p
_____
Wniosek: q

__________________________________________________________________

modus tollens

Przesłanki: p � q
~q
_____
Wniosek: ~p


Przesłanki: H � E Przesłanki: H Ł ZD � E ~E ~E
______ __________
Wniosek: ~H Wniosek: ~(H Ł ZD)

~(H Ł ZD) � ~H � ~ZD

negacja koniunkcji jest równoważna alternatywie negacji
__________________________________________________

Wnioskowanie zawodne


Przesłanki: p � q
q
x_______
Wniosek: p