Question

A proposição "x = 3 ^ (x ≠ y -> x ≠ 3)" conforme mostra a sua tabela-verdade é uma:

A) taulotologia
B) implicação tautologica
C) Equivalencia tautologia
D) Contigência
E) Contradição

Answer 1

Resposta:

D) Contingência

Explicação passo-a-passo:

p: x = 3

q: x ≠ y

x = 3 ^ (x ≠ y -> x ≠ 3) ≡ p ^ (q -> ¬p)

| p | q | ¬p | q -> ¬p | p ^ (q -> ¬p) |

| F | F |  V |       V     |            F        |

| F | V |  V |       V     |            F        |

| V | F |  F |       V     |            V        |

| V | V |  F |       F     |             F       |

A última coluna, referente à fórmula que queríamos calcular, possui tanto V (1) como F (3) entre seus casos. Logo, é uma contingência.