Pular para o conteúdo principal

LÓGICA; OPERADORES LÓGICOS (a implicação/condicional)

Implicação - TABELA DA VERDADE


A implicação entre duas fórmulas só é falsa se a da esquerda (antecedente) for verdadeira e da direita (consequente) for falsa. A saber:

P Q P→Q
V V V
V F F
F V V
F F V

Repare que a implicação não é comutativa:

P Q P→Q Q→P
V V V V
V F F V
F V V F
F F V V

  • Interpretação: "P\to Q\!\," pode ser interpretada como "Se P\!\,, então Q\!\,", "P\!\, implica Q\!\,", "Se a proposição ' P\!\, ' é verdade, então a proposição ' Q\!\, ' também é verdade", "A partir de 'P\!\,' inferimos 'Q\!\,' ", "P\!\, satisfaz Q\!\,", "P\!\, é condição suficiente de Q\!\,".

Assim, se, em uma linguagem \mathcal{L} , P\!\, significa "O botão vermelho foi apertado" e Q\!\, significa "O lugar inteiro explode", P\to Q\!\, pode ser interpretada como "Se o botão vermelho foi apertado, o lugar inteiro explode", o que só é falso se o botão vermelho for apertado (verdade de P\!\,) e o lugar inteiro não explodir (falsidade de Q\!\,):

A interpretação da implicação é uma das mais complicadas. Talvez você tenha estranhado que a implicação seja verdadeira quando o antecedente é falso. Ou ainda, você poderia objetar "mas e se o botão for apertado, o lugar explodir, mas uma coisa não tiver nada a ver com a outra?".

Basicamente, o que se deve observar é que "O botão vermelho ser apertado" é condição suficiente para se deduzir que "O lugar inteiro explodiu", isto é, quando o botão é apertado, o lugar deve explodir. Se o botão for apertado e o lugar não explodir, algo está errado, ou seja, P\!\, não implica Q \!\, ( P\to Q\!\, é falso).

Quando temos na linguagem natural uma proposição que afirma que, a partir de um evento, outro segue inexoravelmente (por exemplo: "Se você sair na chuva sem guarda-chuva ou capa de chuva, então você vai se molhar") ou uma proposição que afirma que podemos deduzir um fato de outro (por exemplo: "Se todo número par é divisível por 2, então nenhum número par maior que 2 é primo"), podemos seguramente formalizar estas proposições por meio da implicação.

Mas o contrário, ou seja, interpretar uma implicação na linguagem natural é problemático. Podemos estar lidando com uma implicação cujo antecedente e cujo consequente não têm relação alguma. Basta, contudo que o antecedente seja falso ou o consequente seja verdadeiro para que a implicação seja verdadeira. Nestes casos, é bem difícil dar uma interpretação satisfatória para a implicação.

Fonte: http://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional

Comentários

Postar um comentário

Postagens mais visitadas deste blog

SIMULADO DE FILOSOFIA - ÉTICA - COMENTADO

 Simulado com questões de Ética da UFSM. É preparatório para ingresso ao ensino superior. O gabarito é comentado para esclarecer possíveis dúvidas. 1. (UFSM) A arquitetura de uma época aponta não só para um determinado estilo artístico, mas também pode indicar traços de vida moral e política de um grupo humano. As torres das igrejas góticas, por exemplo, mostraram a verticalidade na relação entre Deus e o homem, o céu e a terra, o superior e o inferior, característica básica da cultura medieval. A respeito da concepção de moralidade no período medieval, pode-se afirmar que: I. A conduta humana deve se pautar em regras derivadas da natureza. II. A imoralidade está relacionada com a desobediência às leis divinas reveladas. III. A razão humana ocupa o lugar central na vida ética. IV. A ética se preocupa, principalmente, com a autonomia moral do indivíduo. Está(ao) correta( s) a) Apenas I b) Apenas II. c) Apenas III. d) Apenas II e IV. e) Apenas ...
3 comentários
Leia mais

SIMULADO DE FILOSOFIA - QUESTÕES DE POLÍTICA

SIMULADO DE FILOSOFIA COM QUESTÕES DE POLÍTICA. 1. (UEL) “Toda cidade [ polis ], portanto, existe naturalmente, da mesma forma que as primeiras comunidades; aquela é o estágio final destas, pois a natureza de uma coisa é seu estágio final. (...) Estas considerações deixam claro que a cidade é uma criação natural, e que o homem é por natureza um animal social, e um homem que por natureza, e não por mero acidente, não fizesse parte de cidade alguma, seria desprezível ou estaria acima da humanidade.” (ARISTÓTELES. Política. 3. ed. Trad. De Mário da Gama Kuri. Brasília: Ed. Universidade de Brasília, 1997. p. 15.) De acordo com o texto de Aristóteles, é correto afirmar que a polis: a) É instituída por uma convenção entre os homens. b) Existe por natureza e é da natureza humana buscar a vida em sociedade. c) Passa a existir por um ato de vontade dos deuses, alheia à vontade humana. d) É estabelecida pela vontade arbitrária de um déspota. e) É fundada na r...
6 comentários
Leia mais

ENEM: Filosofia - Política

SIMULADO DE FILOSOFIA COM QUESTÕES DE POLÍTICA PARA UFSM E ENEM. 1. (UEL) “Toda cidade [ polis ], portanto, existe naturalmente, da mesma forma que as primeiras comunidades; aquela é o estágio final destas, pois a natureza de uma coisa é seu estágio final. (...) Estas considerações deixam claro que a cidade é uma criação natural, e que o homem é por natureza um animal social, e um homem que por natureza, e não por mero acidente, não fizesse parte de cidade alguma, seria desprezível ou estaria acima da humanidade.” (ARISTÓTELES. Política. 3. ed. Trad. De Mário da Gama Kuri. Brasília: Ed. Universidade de Brasília, 1997. p. 15.) De acordo com o texto de Aristóteles, é correto afirmar que a polis: a) É instituída por uma convenção entre os homens. b) Existe por natureza e é da natureza humana buscar a vida em sociedade. c) Passa a existir por um ato de vontade dos deuses, alheia à vontade humana. d) É estabelecida pela vontade arbitrária de um déspota. e) É fundada na razão, que e...
Postar um comentário
Leia mais