a) proposição

A lógica proposicional estuda as formas mais básicas do raciocínio e a argumentação, que é o processo de retirar conclusões de premissas. A lógica proposicional estuda argumentos como o seguinte:

a = amarelo
b = cor
c = japonês

Amarelo é uma cor,
Japonês tem uma cor,
Portanto japonês é amarelo.