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

BLOK 1

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