src: Mais tarde, Jan Łukasiewicz e Alfred Tarski juntos formularão uma lógica com "n" valores verdade onde "n" ≥ 2.
tgt: Later, Jan Łukasiewicz and Alfred Tarski together formulated a logic on "n" truth values where "n" ≥ 2.