What is the difference between Non-trivial property (in 1st theorem)and Non-monotonic property ( in 2nd theorem)?
I was going through Rice's theorem but unable to differentiate between these 2 properties.Please give the detail to differentiate both
For a property to be non-trivial, there should exist at least two Turing machines, the property holding for the language of one (Tyes) and not holding for the language of other (Tno)
For a property to be non-monotonic, there should exist at least two Turing machines, the property holding for the language of one (Tyes) and not holding for the language of other (Tno) and L(Tyes)⊂L(Tno)
Source: http://gatecse.in/rices-theorem/