English: And saying this formula is true if you look at P or not P you can obviously say it is true it is and it is quite trivial, but the question is can you derive it in the system.
Telugu: మరియు మీరు P ని చూస్తే ఈ ఫార్ములా చెప్పడం నిజం లేదా మీరు స్పష్టంగా ఇది నిజం అని చెప్పవచ్చు మరియు ఇది చాలా చిన్నది, కానీ ప్రశ్న మీరు దానిని వ్యవస్థలో పొందగలరా.