English: Although he did not discover these laws, he was the first to introduce these statements formally using a mathematical formulation in propositional logic.
Telugu: అతను ఈ చట్టాలను కనుగొనలేకపోయినప్పటికీ, ఈ ప్రతిపాదనలు అధికారికంగా ప్రతిపాదిత తర్కంలో ఒక గణిత సూత్రీకరణను ఉపయోగించి మొదటిసారి పరిచయం చేశాడు.