Trylemat (z gr. τρεις – trzy, oraz λημμα – przesłanka) – schemat wnioskowania, w którym obok trzech zdań warunkowych występuje potrójna alternatywa:
{|style="border-spacing:0px" |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
kategoria:Prawa rachunku zdań