Segundo a teoria semântica da verdade em Alfred Tarski, a sentença “’o céu é azul’ é verdade, se e somente se o céu é azul” refere-se a uma distinção