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

© Jerzy Brzeziński, Wykłady z metodologii ... BLOK 1

---