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.