Questões de Concurso

INICIAÇÃO

À LÓGICA MATEMÁTICA

EDGARD DE ALENCAR FILHO

[...]

6. CONDICIONAL (→)

Definição – Chama-se proposição condicional ou apenas condicional uma proposição representada por “se p então q”, cujo valor lógico é a falsidade(F) no caso em que p é verdadeira e q é falsa e a verdade(V) nos demais casos.

[...]

NOTA – Uma condicional p → q não afirma que o consequente q se deduz ou é consequência do antecedente p. Assim, p. ex., as condicionais:

7 é um número ímpar → Brasília é uma cidade

3 + 5 = 9 → SANTOS DUMONT nasceu no Ceará

não estão a afirmar, de modo nenhum, que o fato de “Brasília ser uma cidade” se deduz do fato de “7 ser um número ímpar” ou que a proposição “SANTOS DUMONT nasceu no Ceará” é consequência da proposição “3 + 5 = 9”. O que uma condicional afirma é unicamente uma relação entre os valores lógicos do antecedente e do consequente de acordo com a tabela-verdade anterior.

Disponível em:<https://books.google.com.br/books>.Acesso em: 3 fev.2017 (adaptado).

Dadas as afirmativas, considerando o estabelecido no texto e aspectos geográficos e históricos do nosso país,

I. Se Brasília é a capital do Brasil, então o estado de São Paulo está na região Nordeste.

II. Se Alagoas é uma ilha, então a capital de Pernambuco é Caruaru.

III. Se Tiradentes morreu enforcado, então o Brasil foi descoberto em 22 de abril de 1500.

Dadas as proposições, sendo o conjunto dos números reais,

verifica-se que assume(m) valor lógico verdadeiro

Suponha que as proposições sejam verdadeiras.

p: Todo conselheiro do Conselho de Curadores faz parte da comunidade universitária (estudante, professor ou técnico administrativo) ou é indicado pelo Conselho Regional de Contabilidade.

q: Todos os conselheiros que não são indicados pelo Conselho Regional de Contabilidade e são contabilistas são favoráveis à aprovação das contas do Reitor.

r: O Contabilista Sérgio não recebeu nenhuma indicação do Conselho Regional de Contabilidade.

Dadas as afirmativas,

I. Se o Contabilista Sérgio é conselheiro do Conselho de Curadores, então ele é professor.

II. Se o Contabilista Sérgio é conselheiro do Conselho de Curadores, então ele não é técnico administrativo da universidade.

III. Se o Contabilista Sérgio é conselheiro do Conselho de Curadores, então ele votará favoravelmente à aprovação das contas do Reitor.

verifica-se que é(são) inferência(s) correta(s) a partir das proposições p, q e r