tati

1. CESPE -2012 - TCE-ES - Auditor de controle Externo
Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R e S. A partir de proposições conhecidas, novas proposições podem ser construídas usando-se símbolos especiais.
Alguns desses símbolos são apresentados na tabela abaixo.

símbol o nome

~
˄
˅
→
↔

notaçã o Negação
Conjunção
Disjunção
Condicional
bicondicional

~P
P˄Q
P˅Q
P→Q
P↔Q

leitura

Valor
Não P

Contrário ao de P; V, se P for F; F se P for V

PeQ

V, se P e Q forem V; caso contrário, será F

P ou Q

F, se P e Q forem F; caso contrário, será V

Se P, então Q
P se, e somente se Q

Considerando as definições acima e a proposição {(PvQ) a seguir.

F, se P for V e Q for F; caso contrário, será V
V, se P e Q tiverem os mesmos valores, caso contrário, F

[R^(~S)]}v[(P^S)

(Q^R)], julgue os itens

1) Se P e S forem V e Q e R forem F, então o valor lógico da proposição em questão será F.

2. VUNESP - 2013 - Escrivão de polícia
Um enunciado é uma tautologia quando não puder ser falso. Assinale a alternativa que contém um enunciado que é uma tautologia.

a)

Está chovendo e não está chovendo.

b)

Está chovendo.

c)

Se está chovendo, então não está chovendo.

d)

Está chovendo ou não está chovendo.

e)

Não está chovendo.

3. ESAF - 2013 - Ministério da Fazenda
Conforme a teoria da lógica proposicional, a proposição ~ P ^ P é:

a)

uma tautologia.

b)

equivalente à proposição ~ P V P .

c)

uma contradição.

d)

uma contingência.

e)

uma disjunção.

4. CESPE 2013 - MTE - AUDITOR FISCAL DO TRABALHO
P
V
V
V
V

Q
V
V
F
F

R
V
F
V
F

S

F
F
F
F

V
V
F
F

V
F
V
F

A tabela acima corresponde ao início da construção da tabela-verdade da proposição S, composta das proposições simples P, Q e