English: We could see that, if X implies Y, and X is true, Y must be true.
Telugu: దీనిని ఇలా అర్థం చేసుకోవచ్చుః X సత్యమయి, Y అసత్యమవడం అన్నది అసత్యం - X సత్యమయితే, Y కూడా సత్యం కావాల్సిందే.