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ż[edytuj | edytuj kod]
Bibliografia[edytuj | edytuj kod]
- Witold Marciszewski (redakcja), "Mała encyklopedia logiki", Wrocław 1970, str. 334