Concursos Públicos ⇒ (IBFC - 2013 - EBSERH) Lógica Proposicional

[jeffersonat]

Sejam as afirmações:

I. Se o valor lógico de uma proposição p é falso e o valor lógico de uma proposição q é verdadeiro, então o valor lógico da conjunção entre p e q é verdadeiro.

II. Se todo X é Y, então todo Y é X.

III. Se uma proposição p implica numa proposição q, então a proposição q implica na proposição p.

Pode-se afirmar que são verdadeiras:
a) Todas
b) Somente duas delas
c) Somente uma delas
d) Nenhuma

[csmarceloMOD]

I. FALSO

[tex3]P\wedge Q[/tex3] é verdadeiro apenas quando [tex3]P[/tex3] e [tex3]Q[/tex3] são verdadeiros.

[tex3]P:[/tex3] Sou mulher.
[tex3]Q:[/tex3] Tenho 32 anos.

[tex3]P[/tex3] é falso e [tex3]Q[/tex3] é verdadeiro e, assim [tex3]P\wedge Q[/tex3], ou seja "sou mulher e tenho 32 anos" é falso.

II. FALSO

Se todo macaco é um animal, isso quer dizer que todo animal é um macaco?

III. FALSO

[tex3]P:[/tex3] Faz sol.
[tex3]P:[/tex3] Vou à praia.

[tex3]P\rightarrow Q[/tex3]: Se faz sol, vou à praia.

Repare que isso não quer dizer que eu irei à praia APENAS se fizer sol, ou seja, [tex3]Q\rightarrow P:[/tex3] não necessariamente será uma verdade.