Tautologia, contradição e contingência

Cebraspe· SERPRO· 2013

Se Q for uma proposição verdadeira, então, independentemente dos valores lógicos de P e R, a proposição S será sempre verdadeira.

Cebraspe· INPI· 2013

A expressão [(P→Q)→P)]→P é uma tautologia.

ESAF· ESAF – PECFAZ· 2013

Conforme a teoria da lógica proposicional, a proposição ~ P Λ P é:

Cebraspe· TJ AC· 2012

A expressão [(P6Q) w P]6Q é uma tautologia.

FUMARC· CM PA· 2012

Considere as tabelas-verdade I e II a seguir. É correto afirmar que

Copeve/UFAL· Pref Maceió· 2012

Um argumento é determinado como tautológico quando

CETRO· Pref Manaus· 2012

Considere a seguinte proposição: “Na família Silva, o genro torce para o time A ou não torce para o time A”. Do ponto de vista lógico, a afirmação da proposição caracteriza

Cesgranrio· TRANSPETRO· 2012

Dado que W, Y e Z são proposições no contexto do Cálculo Proposicional, podendo assumir valores falsos ou verdadeiros, conclui-se que

IAUPE· JUCEPE· 2012

Indique quais dos itens abaixo representam equivalências tautológicas. Assinale a alternativa CORRETA.

FCC· TRT· 2012

Os adesivos (1) e (2), mostrados a seguir, estavam colados na mesma bomba de etanol de um posto de gasolina brasileiro. Em relação a esse contexto, considere as hipóteses (X) e (Y) descritas abaixo. (X) O etanol da bomb…

Cesgranrio· LIQUIGÁS· 2012

A fórmula (X Ù Y) Ú (¬X Ù Z) é satisfeita quando os valores de X, Y e Z são, respectivamente, iguais a

Cebraspe· MPE PI· 2012

A proposição composta [PvQ]w[(¬Q)÷P] é uma tautologia.

Cesgranrio· PETROBRAS· 2011

Considere as sentenças da lógica de primeira ordem a seguir. I - II - III - São insatisfatíveis APENAS as sentenças apresentadas em

PONTUA· TRE SC· 2011

Qual(is) das sentenças proposicionais abaixo é(são) tautologia(s)? I. P  (P  Q)  P. II. ~ (P  Q)  ~ P  ~ Q. III. (P  ~ P)  (Q  P). Está(ão) CORRETA(S):

Cesgranrio· PETROBRAS· 2011

Associe as explicações a seguir às respectivas fórmulas. I - É uma tautologia P - II - É satisfatível, mas não é uma tautologia III - É insatisfatível Q - R - S - As associações corretas são:

Cebraspe· SESA ES· 2011

Se P, Q, R e S são proposições simples, então a proposição expressa por {[(P→Q)↔(R∧S)]∧(R∧S)}→(P→Q) é uma tautologia.

Cebraspe· TRE ES· 2011

A proposição ~P é uma tautologia, isto é, o seu valor lógico é verdadeiro independentemente dos valores lógicos das proposições p, q e r.

Cebraspe· MEC· 2011

O número de linhas da tabela-verdade da proposição P6(QwR) é superior a 10.

Vunesp· Pref Alumínio· 2011

A direção de uma escola precisava decidir quanto à construção de uma quadra nova ou de um teatro. Assim, fez uma pesquisa com 500 estudantes, entre meninos e meninas, para se descobrir a preferência entre essas duas opç…

Cebraspe· TJ ES· 2011

A proposição S é uma tautologia.