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ż

• lemat
• dylemat

Bibliografia

• Witold Marciszewski (redakcja), "Mała encyklopedia logiki", Wrocław 1970, str. 334