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
- Witold Marciszewski (redakcja), "Mała encyklopedia logiki", Wrocław 1970, str. 334
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.