A tautology can also be a figure of speech In propositional logic , a tautology ( from the Greek word Ï Î Ï
In logic , a tautology ( from the Greek word Ï Î Ï