Trylemat

Trylemat (z gr.: τρεις - trzy, λημμα - przesłanka) – schemat wnioskowania, w którym obok trzech zdań warunkowych występuje potrójna alternatywa:

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

Jest to odpowiednik jednego ze współczesnych praw rachunku zdań.

Zobacz też

Bibliografia