例如“若x=1，则x是二次方程x^2-5x+4=0的根”。这样的形式的命题是真命题还是假命题。
我的想法是因为这个二次方程的根有两个，x=1或x=4，所以他只说一个x=1的话不严谨。
还是说只要x=1能推出方程x^2-5x+4=0,，那就是p=>q。那他就是真命题？
如果上面 p=>q 是真命题，那反过来q=>p，也就是x^2-5x+4=0 推出x=1这个是真还是假呢？因为它只给出一个根，
我就这个经常有点分不清。主要就是感觉这个不太严谨。求大佬指教一下。