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 |
Amarelo é uma cor, Japonês tem uma cor, Portanto japonês é amarelo. |