Trylemat

Trylemat (z gr. τρεις – trzy, oraz λημμα – 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ń.

• lemat
• dylemat

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