Question

Diz-se que uma proposição composta A implica numa proposição composta B, se:
A) a conjunção entre elas for tautologia
B) a disjunção entre elas for tautologia
C) o bicondicional entre elas for tautologia
D) o condicional entre elas, nessa ordem, for tautologia

E uma explicação do que implica, o que é.

Answer 1

A expressão "$A$ implica em $B$" (indica-se por $A \rightarrow B$) é equivalente a dizer


"Se $A$ é verdade, então $B$ é verdade".

ou

"Se $A$ é satisfeita, então $B$ é satisfeita".

ou ainda

"Se $A$, então $B$".


A implicação nos permite inferir $B$, sempre que $A$ for verdade.


Pelo seu caráter condicional, é comum nos referirmos à relação de implicação como "se-então".


A resposta é a alternativa D).