a) proposição
Notem que a argumentação anterior não tem nenhuma ligação com fatos reais do dia a dia, pois não é possível determinar a cor da pele de uma pessoa através de inferências como esta. No entanto para a Lógica Proposicional a argumentação citada é aceitável , pois ela não trata da possibilidade física , mas sim da possibilidade lógica. Se amarelo é uma cor, então a = b E se japonês tem uma cor, então b = c Logo, japonês é amarelo, pois a = c
Se a = b e b = c logo a = c.
Raciocinando, esta argumentação é perfeitamente válida. A forma lógica das proposições é importante porque é esta forma lógica que irá determinar a validade ou invalidade dos argumentos estudados pela lógica.