Przejdź do zawartości

Dylemat

Z Wikipedii, wolnej encyklopedii

Dylemat (z gr. διλήμματος dilemmatos 'podwójny lemat') – w logice tradycyjnej niezawodne schematy wnioskowań, w których przesłankami są dwa zdania warunkowe i alternatywa (nierozłączna)[1], z których każdemu już na gruncie klasycznego rachunku zdań odpowiada właściwe prawo logiczne. Wyróżniono cztery typy takich schematów wnioskowań – dylematy:

  • konstrukcyjny prosty;
  • konstrukcyjny złożony;
  • destrukcyjny prosty;
  • destrukcyjny złożony.

Dylematy konstrukcyjne

[edytuj | edytuj kod]

Prosty

[edytuj | edytuj kod]

Jest to schemat postaci:

Jeśli a, to c
Jeśli b, to c
a lub b

c

W klasycznym rachunku zdań odpowiada mu prawo:

zwane prawem dylematu konstrukcyjnego prostego.

Złożony

[edytuj | edytuj kod]

Jest to schemat postaci:

Jeśli a, to b
Jeśli c, to d
a lub c

b lub d

W klasycznym rachunku zdań odpowiada mu prawo:

zwane prawem dylematu konstrukcyjnego złożonego.

Dylematy destrukcyjne

[edytuj | edytuj kod]

Prosty

[edytuj | edytuj kod]

Jest to schemat postaci:

Jeśli a, to b
Jeśli a, to c
nie-b lub nie-c

nie-a

W klasycznym rachunku zdań odpowiada mu prawo:

zwane prawem dylematu destrukcyjnego prostego.

Złożony

[edytuj | edytuj kod]

Jest to schemat postaci:

Jeśli a, to b
Jeśli c, to d
nie-b lub nie-d

nie-a lub nie-c

W klasycznym rachunku zdań odpowiada mu prawo:

zwane prawem dylematu destrukcyjnego złożonego.

Zobacz też

[edytuj | edytuj kod]

Przypisy

[edytuj | edytuj kod]
  1. dylemat, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-11-28].

Bibliografia

[edytuj | edytuj kod]