No estudo do raciocínio lógico matemático, os conectivos lógicos são expressões lógicas que permitem ligar diversas proposições simples, originando...

No estudo do raciocínio lógico matemático, os conectivos lógicos são expressões lógicas que permitem ligar diversas proposições simples, originando proposições compostas cujo valor, ou seja, a verdade ou falsidade, depende das proposições iniciais e da natureza dos conectivos envolvidos. Duas proposições formam uma condicional quando for possível colocá-las na seguinte forma: se (proposição 1), então (proposição 2). Sabe-se que a condicional será falsa se, e somente se, a condição (proposição 1) for atendida, mas a consequência (proposição 2) não ocorrer. Considere a afirmação “Se fizer sol, José vai à praia.”. Caso não faça sol, é possível que essa afirmação seja falsa? Explique sua resposta.