• Nenhum resultado encontrado

Bacharelado em Ciência e Tecnologia BC&T Lógica Básica (NHI ) Lógica Proposicional: Argumento LÓGICA PROPOSICIONAL ARGUMENTO

N/A
N/A
Protected

Academic year: 2021

Share "Bacharelado em Ciência e Tecnologia BC&T Lógica Básica (NHI ) Lógica Proposicional: Argumento LÓGICA PROPOSICIONAL ARGUMENTO"

Copied!
14
0
0

Texto

(1)

ProfaMaria das Graças Marietto graca.marietto@ufabc.edu.br

Bacharelado em Ciência e Tecnologia BC&T

Lógica Básica (NHI2049-13)

Lógica Proposicional:

Argumento

2 Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

ARGUMENTO

NHI2049-13 Lógica Básica

ARGUMENTO: DEFINIÇÃO O que a Lógica estuda? Tentativas sistemáticas de distinguir argumentos válidos de inválidos

Mas o que são argumentos? O que é um

argumento válido?

NHI2049-13 Lógica Básica

Definição 1: Um argumento é um sequência finita de sentenças, onde:

o Uma delas é considerada a conclusão

o Enquanto as outras são definidas como suas premissas, que são justificativas para a conclusão

Definição 2: Um argumento é o encadear de proposições em que se pretende que uma delas (a conclusão) seja justificada, sustentada e antecedida por outras (as premissas)

Estrutura de um argumento:

o Uma proposição apresentada como uma tese, ou uma

conclusão

o Outras proposições apresentadas como justificativa da tese, ou premissaspara a conclusão

(2)

5 Lógica Proposicional - Semântica

n: Neva f: Faz frio {n→f, n} f

Premissa 1: Se neva, então faz frio Premissa 2: Está nevando

Conclusão: Logo, está fazendo frio Exemplo de argumento:

ARGUMENTO: DEFINIÇÃO

Consequência Lógica

6 Lógica Proposicional - Semântica

ARGUMENTO: COMO IDENTIFICAR

Há indicadores (palavras ou frases) que servem para introduzir as premissas de um argumento:

o Porque o Desde que o Pois que o Como o Dado que o Tanto mais que o Pela razão de que

7

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

ARGUMENTO: COMO IDENTIFICAR

Há certos indicadores (palavras ou frases) que servem para introduzir a conclusão de um argumento:

o Portanto o Daí o Logo o Assim o Consequentemente o Segue-se que o Podemos inferir 8

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

OBSERVAÇÕES SOBRE A ESCRITA DE

ARGUMENTOS

(3)

9 Lógica Proposicional - Semântica

ARGUMENTO: POSIÇÃO DAS PREMISSAS E CONCLUSÃO

A forma canônica de um argumento baseia-se em enunciar as premissas em primeiro, e as conclusões no fim.

Mas nem todos argumentos são dispostos dessa maneira. Pode-se ter a conclusão enunciada em primeiro, e depois as premissas. Veja o seguinte argumento da Política de Aristóteles:

Em uma democracia o pobre tem mais poder do que o rico, porque há mais dos primeiros e a vontade da maioria é suprema Premissa 1: Há mais pobres do que ricos Premissa 2: A vontade da maioria é suprema

Conclusão: Em uma democracia o pobre tem mais poder que o rico

10 Lógica Proposicional - Semântica

PREMISSAS VERSUS CONCLUSÃO

Nenhuma proposição é isoladamente uma premissa ou conclusão.

Só é premissa quando ocorre como pressuposição em um argumento ou raciocínio.

Só é conclusão quando ocorre em um argumento em que se afirma decorrer das proposições pressupostas nesse argumento.

NHI2049-13 Lógica Básica

ARGUMENTO: COMO IDENTIFICAR

Vale ressaltar que nem tudo o que é dito em um argumento é premissa ou conclusão desse argumento.

Mas este material extra pode fornecer informações de contexto para que o leitor entenda melhor do que trata o argumento.

Se o código penal proíbe o suicídio, isso não constitui um argumento válido na Igreja; e, além disto, a proibição é ridícula; pois que penalidade poderá assustar uma pessoa que

não teme a própria morte?

Schopenhauer “Estudos sobre o Pessimismo” Quais são as premissas e qual

a conclusão deste argumento??

NHI2049-13 Lógica Básica

ARGUMENTO: COMO IDENTIFICAR

Aqui, o material antes do primeiro ponto e vírgula não é premissa nem conclusão. Mas auxilia a definir o argumento

Se o código penal proíbe o suicídio, isso não constitui um argumento válido na Igreja; e, além disto, a proibição é ridícula; pois que penalidade poderá assustar uma pessoa que não teme a

própria morte?

Schopenhauer “Estudos sobre o Pessimismo”

Premissa 1: Nenhuma penalidade pode assustar uma pessoa que não teme a própria morte

Conclusão: A proibição do suicídio no Código Penal é ridícula

(4)

13 Lógica Proposicional - Semântica

ARGUMENTO: COMO IDENTIFICAR

Este exemplo também nos mostra que as proposições podem ser enunciadas na forma de “perguntas retóricas” Tais perguntas são usadas mais para fazer afirmações do

que para formular interrogações.

Se o código penal proíbe o suicídio, isso não constitui um argumento válido na Igreja; e, além disto, a proibição é ridícula; pois que penalidade poderá assustar uma

pessoa que não teme a própria morte? Schopenhauer “Estudos sobre o

Pessimismo”

14 Lógica Proposicional - Semântica

ARGUMENTO: COMO IDENTIFICAR

Há ainda afirmações que parecem com argumentos, mas não são. Por exemplo:

o “Se os objetos de arte são expressivos, então são uma linguagem”

Tal proposição é denominada condicional

Não apresenta as premissas necessárias para suportar sua conclusão

Examine agora a seguinte citação de “Art as Experience” de John Dewey:

Premissa 1: Porque os objetos de arte são expressivos Conclusão: Eles são uma linguagem

15

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

VALIDADE DE ARGUMENTOS

16

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

Ao lógico interessa a correção do processo do raciocínio. Sua interrogação é sempre essa:

A conclusão a que se chegou deriva das premissas usadas ou pressupostas? O raciocínio é correto/válido:

 Se as premissas fornecem base, ou boas provas, para a conclusão

 Se a afirmação da verdade das premissas garante a afirmação de que a conclusão também é verdadeira No caso contrário, o raciocínio é incorreto/inválido.

(5)

17 Lógica Proposicional - Semântica

Um problema é que não basta simplesmente a conclusão lógica ser uma Verdade.

ARGUMENTO: VALIDADE

É preciso que a relação entre as hipóteses e a conclusão façam sentido, ou seja o valor só deveria ser Verdadeiro baseado única é exclusivamente na relação entre as hipóteses e a conclusão.

18 Lógica Proposicional - Semântica

Considere o seguinte argumento:

Alfred Hitchcock só dirigiu filmes de suspense. Cantando na Chuva não é um filme de suspense. Portanto o dia tem 24 horas.

Esse argumento tem duas hipóteses:

p: Alfred Hitchcock só faz filmes de suspense. q: Cantando na Chuva não é um filme de suspense. É a conclusão é: O dia tem 24 horas

ARGUMENTO: VALIDADE

Embora cada hipótese individual, assim como a conclusão seja verdadeira, não deveríamos considerar

o argumento válido, pois a conclusão é um fato verdadeiro independente das hipóteses.

NHI2049-13 Lógica Básica

Exemplo de argumento válido:

Se Alfred Hitchcock é o diretor, então o filme é de suspense. Cantando na Chuva não é um filme de suspense. Portanto Alfred Hitchcock não é o diretor de Cantando na Chuva. Esse argumento tem duas hipóteses:

p: Se Alfred Hitchcock é o diretor, então o filme é de suspense.

q: Cantando na Chuva não é um filme de suspense. É a conclusão é: Alfred Hitchcock não é o diretor de

Cantando na Chuva

ARGUMENTO: VALIDADE

NHI2049-13 Lógica Básica

Uma outra questão a ser considerada é que as premissas do argumento devem ser verdadeiras

(6)

21 Lógica Proposicional - Semântica

ARGUMENTO: VALIDADE

Em uma democracia o pobre tem mais poder do que o rico, porque há mais dos primeiros e a

vontade da maioria é suprema Premissa 1: Há mais pobres do que ricos Premissa 2: A vontade da maioria é suprema

Conclusão: Em uma democracia o pobre tem mais poder que o rico

Este argumento de Aristóteles é válido na nossa sociedade??

NÃO!!

A segunda premissa não é verdadeira. Não podemos chegar à conclusão, por este argumento,

que em uma democracia o pobre tem mais poder que o rico

22 Lógica Proposicional - Semântica

ARGUMENTO: VALIDADE

Um argumento é inválido se existe pelo menos uma interpretação que torna as premissas verdadeiras e a

conclusão falsa

23

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

ARGUMENTO: VÁLIDO OU INVÁLIDO

Premissa 1: Alguns treinadores de futebol ganham mais de 100.000 reais por mês

Premissa 2: Scolari é um treinador de futebol

Conclusão: Logo, Scolari ganha mais de 100.000 reais por mês

Não é válido porque não é impossível que as premissas sejam verdadeiras e a conclusão falsa

Podemos imaginar uma circunstância em que Scolari ganhasse menos de 100.000 reais por mês. Por exemplo, Scolari como treinador de um clube do campeonato regional

Neste caso, a conclusão já seria falsa, apesar de as premissas serem verdadeiras. Portanto, o argumento é inválido:

embora as premissas sejam verdadeiras, a conclusão é falsa

Neste momento (2018), vamos supor que Luis Felipe Scolari esteja ganhando acima de 100.000 reais por mês Este argumento tem premissas verdadeiras e conclusão

verdadeira e, contudo, não é válido. Porque??

24

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

ARGUMENTO VÁLIDO OU INVÁLIDO

Prova dos 9 para definir a validade de um argumento

Consegue imaginar alguma circunstância em que, considerando as premissas verdadeiras, a conclusão é falsa?

Se sim, então o argumento não é válido Se não, então o argumento é válido

Premissa 1: Se eu ganhar sozinho na Sena, fico milionário

Premissa 2: Ganhei sozinho na Sena

Conclusão: Logo, fiquei milionário

Premissa 1: Se eu ganhar sozinho na Sena, fico milionário Premissa 2: Não ganhei sozinho

na Sena

Conclusão: Logo, não fiquei milionário

Argumento válido... Porque se as duas premissas forem verdadeiras a conclusão tem que, necessariamente, ser verdadeira

Argumento inválido... porque mesmo que as duas premissas sejam verdadeiras a conclusão pode ser falsa (na hipótese, por exemplo, de eu herdar uma fortuna de uma

(7)

25 Lógica Proposicional - Semântica

ARGUMENTO: VALIDADE

Um argumento é válido se e somente se, em TODAS as linhas (interpretações) onde todas as premissas são

verdadeiras, a conclusão também será verdadeira Ou seja, a conclusão pode

ser deduzida das premissas

Um argumento é inválido se existe pelo menos uma interpretaçãoque torna as premissas verdadeiras e

a conclusão falsa

26 Lógica Proposicional - Semântica

Outra forma de escrever quando um argumento é válido. Um argumento dedutivo é válido quando suas premissas, se

verdadeiras, fornecem provas convincentes para sua conclusão.

Isto é, quando as premissas e a conclusão estão de tal modo relacionadas que é absolutamente impossível as premissas serem verdadeiras se a conclusão tampouco for verdadeira.

ARGUMENTO: VALIDADE

NHI2049-13 Lógica Básica

Um argumento pode ser representado em forma simbólica como:

p

1

p

2

p

3

...

p

n

q

onde p1, p2,..., pNsão proposições dadas, chamadas de hipóteses (premissas) do argumento, e q é a conclusão do argumento.

Dizemos que p1∧p2∧p3∧...∧pn implica logicamenteq, ou q pode ser deduzido logicamente de p1∧p2∧p3∧...∧pn.

ARGUMENTO: VALIDADE

NHI2049-13 Lógica Básica

A fórmulabem formada p1∧p2∧p3∧...∧pn → q é um

argumento válido quando for uma tautologia.

(8)

29 Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

VALIDADE DE ARGUMENTOS

VERIFICANDO A VALIDADE DE UM

ARGUMENTO

30 Lógica Proposicional - Semântica

ARGUMENTO: VERIFICANDO A VALIDADE

Para verificar a validade de um argumento é possível utilizar: o Tabela verdade

o Regras de dedução

Vamos começar a verificação utilizando o método da tabela verdade.

31

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

Se segurança é um problema, então o controle da informação deve ser aumentado. Se segurança não é um problema, então os negócios via Internet devem aumentar. Portanto, se o controle da informação não for aumentado, os negócios via Internet crescerão.

Esse argumento tem duas hipóteses: p: Segurança é um problema

q: O controle da informação deve ser aumentado r: Os negócios via Internet devem aumentar {p→q, ~p→r} ~q→r

ARGUMENTO: VERIFICANDO A VALIDADE

32

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

ARGUMENTO: VERIFICANDO A VALIDADE

p q r ~p ~q pq ~pr ~qr V V V F F V V V V V F F F V V V V F V F V F V V V F F F V F V F F V V V F V V V F V F V F V F V F F V V V V V V F F F V V V F F Argumento válido: em todas as linhas onde as premissas são verdadeiras, a conclusão também é verdade

(9)

33 Lógica Proposicional - Semântica

ARGUMENTO: VERIFICANDO A VALIDADE

p q r ~p ~q pq ~pr ~qr (pq)(~pr)(~qr) V V V F F V V V V V V F F F V V V V V F V F V F V V V V F F F V F V F V F V V V F V V V V F V F V F V F V V F F V V V V V V V F F F V V V F F V

Outra forma de verificar se o argumento é valido, ou não, é verificar se a fórmulap1∧p2∧p3∧...∧pn → q é uma tautologia. Para tanto vamos verificar se (p→q∧~p→r) → (~q→r) é uma tautologia, ou não. Argu-mento válido: A implica-ção é uma tautolo-gia 34 Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

VALIDADE DE ARGUMENTOS

VERIFICANDO A VALIDADE DE UM

ARGUMENTO

SOFISMA OU FALÁCIA

NHI2049-13 Lógica Básica

VALIDADE DE UM ARGUMENTO: FALÁCIA

Quando um argumento não é válido é chamado de sofisma

ou falácia

Premissa 1: Se chove a rua molha Premissa 2: A rua está molhada Conclusão: Então choveu

p: chove q: a rua está molhada

{p → q, q}

p

F F V F F F V V V F V F F F V V V V V V p q p → q q p Valida temporariamente o argumento Invalida o argumento

NHI2049-13 Lógica Básica

FALÁCIAS: DEFINIÇÃO

Uma falácia é um tipo de raciocínio incorreto.

Alguns argumentos são tão obviamente incorretos que a ninguém enganam.

Mas há argumentos que, embora incorretos, podem ser psicologicamente persuasivos. Quando examinados cuidadosamente, pode-se provar que não são válidos.

(10)

37 Lógica Proposicional - Semântica

FALÁCIAS FORMAIS E NÃO FORMAIS

As falácias são divididas em dois grandes grupos: o Falácias formais

o Falácias não formais

As falácias formais são estudadas em conexão com certos padrões de inferência válida. Serão estudados mais adiante no curso.

As falácias não formais são erros de raciocínio que podemos cair por inadvertência ou falta de atenção.

38 Lógica Proposicional - Semântica

TIPOS DE FALÁCIA NAO FORMAIS

As falácias não formais foram classificadas em tipos. A seguir tem-se alguns exemplos:

o Acento o Ad Hoc o Afirmação do Conseqüente o Anfibolia o Evidência Anedota o Argumentum Ad Antiquitatem o Argumentum Ad Baculum /

Apelo Para Força o Argumentum Ad Crumenam o Argumentum Ad Hominem o Argumentum Ad Ignorantiam o Argumentum Ad Lazarum o Argumentum Ad Logicam o Argumentum Ad Misericordiam o Argumentum Ad Nauseam o Argumentum Ad Novitatem o Argumentum Ad Numerum o Argumentum Ad Populum o Argumentum Ad Verecundiam o Audiatur Est Altera Pars o Bifurcação

o Circulus In Demonstrando o Pergunta Complexa / Falácia

de Interrogação/ Falácia de Pressuposição o Falácias de Composição o Acidente Inverso / Generalização Apressada o Convertendo Uma Condicional

o Cum Hoc Ergo Propter Hoc o Negação do Antecedente o Falácia de Divisão

o A Falácia de Acidente / Generalização Arrasadora / Dicto Simpliciter

o Equívoco / Falácia de Quatro Termos

o A Analogia Estendida o Ignoratio Elenchi / Conclusão

Irrelevante

o A Falácia da Lei da Natureza / Apelo à Natureza

o A Falácia "Nenhum Escocês de Verdade...“

o Non Causa Pro Causa o Non Sequitur

o Petitio Principii / Implorando a Pergunta

o Plurium Interrogationum / Muitas Perguntas o Etc....

39

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

TIPOS DE FALÁCIA NÃO FORMAL

Argumentum ad Baculum(Apelo à força)

Esta falácia se comete quando se apela para a força, ou a ameaça da força, para provocar a aceitação de uma conclusão.

A ameaça não precisa vir diretamente da pessoa argumentando.

“Então há uma ampla prova da verdade da Bíblia. Todos os que rejeitam

a aceitar a verdade irão queimar no inferno”

“...em todo caso, eu sei seu número de telefone e eu sei onde você mora. Eu mencionei que eu sou licenciado para portar armas?”

“Isso talvez seja verdadeiro, mas se o afirmar a empresa terá de

prescindir dos seus serviços”

40

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

TIPOS DE FALÁCIA NÃO FORMAL

Argumentum ad Baculum(Apelo à força)

Harry Hopkins conta em sua descrição do encontro dos “Três Grandes” em Yalta, no final da Segunda Guerra Mundial.

Churchill informara aos demais ter sugerido ao Papa que um determinado curso de ação seria o correto.

E Stalin teria manifestado seu desacordo perguntando: “E quantas divisões disse o senhor que o Papa tem prontas para entrar em combate?”

(11)

41 Lógica Proposicional - Semântica

TIPOS DE FALÁCIA NÃO FORMAL

Argumentum ad Ignorantiam (Argumento pela ignorância)

Esta falácia ocorre quando:

o Uma proposição é sustentada como verdadeira na base, simplesmente, de que não foi provada sua falsidade o Ou como falsa, porque não demonstrou ser verdadeira

“Obviamente a Bíblia é verdadeira. Ninguém pode provar o contrário” “Certamente a telepatia e os outros fenômenos psíquicos não existem.

Ninguém jamais foi capaz de prová-los.”

Admitir que algo é falso até provarem o contrário não é a mesma coisa que afirmar.

Nas leis, por exemplo, os indivíduos são considerados inocentes até que se prove o contrário

42 Lógica Proposicional - Semântica

EXERCÍCIOS

NHI2049-13 Lógica Básica

VALIDADE DE UM ARGUMENTO: EXERCÍCIO

Passar para a fórmula simbólica os seguintes argumentos, e testar a validade com o uso da tabela verdade:

Se trabalho não posso estudar. Trabalho ou passo em Física. Trabalhei. Logo, passei em Física

p: trabalho q: estudo r: passo em Física {p → ~q, p ∨ r, p}

r

NHI2049-13 Lógica Básica

VALIDADE DE UM ARGUMENTO: EXERCÍCIO

p: trabalho q: estudo r: passo em Física {p → ~q, p ∨ r, p}

r

F F F V F F V F V F V V F V V F V F V V V V F F F F F V V F F F V V V V V V F V F V V V V F F V F V V F F F V V V V V F F V V V r p p ∨ r p → ~q ~q r q p Invalida o argumento

(12)

45 Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

VALIDADE DE ARGUMENTOS

VERIFICANDO A VALIDADE DE UM

ARGUMENTO

LIMITES DA TABELA VERDADE

46 Lógica Proposicional - Semântica

ARGUMENTO: TABELA VERDADE

Para qualquer argumento é possível construir uma tabela verdade e, portanto, verificar sua validade, ou invalidade. Apesar desta atividade ter um custo de tempo e de memória

computacional muito elevado.

47

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica Cada linha de uma

tabela verdade corresponde a uma possível combinação dos valores lógicos de suas proposições simples

Como são dois os valores lógicos existem, para n componentes, 2n combinações

ARGUMENTO: TABELA VERDADE

F F F V F F V F V F V V F V V F V F V V V V F F F F F V V F F F V V V V V V F V F V V V V F F V F V V F F F V V V V V F F V V V r p p ∨ r p → ~q ~q r q p

Portanto, uma tabela verdade de uma proposição composta tem 2nlinhas, além do cabeçalho

48

NHI2049-13 Lógica Básica

Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

ARGUMENTOS

(13)

49 Lógica Proposicional - Semântica

CLASSIFICAÇÃO DE ARGUMENTOS

Os argumentos podem ser classificados em:  Argumentos dedutivos

 Argumentos indutivos

Neste curso estudaremos os argumentos dedutivos

50 Lógica Proposicional - Semântica

LÓGICA PROPOSICIONAL

ARGUMENTOS

ARGUMENTOS DEDUTIVOS

NHI2049-13 Lógica Básica

ARGUMENTOS DEDUTIVOS

Argumento dedutivo é um argumento cuja conclusão é inferida necessariamente de suas premissas.

No argumento dedutivo, existe uma ligação entre as premissas e a conclusão, tal que a conclusão se torna necessária, ou seja, tem que ser esta e não outra. Além disso, o enunciado da conclusão não excede o

conteúdo das premissas, isto é, não se diz mais na conclusão do que foi dito nas premissas.

Premissa 1:Todo mamífero tem coração Premissa 2:Todos os cavalos são mamíferos

Conclusão:Portanto, todos os cavalos tem um coração

NHI2049-13 Lógica Básica

LÓGICA PROPOSICIONAL

ARGUMENTOS

(14)

53 Lógica Proposicional - Semântica

ARGUMENTOS INDUTIVOS

Argumento indutivo é um argumento cuja conclusão não é derivada necessariamente de suas premissas.

A indução é uma argumentação na qual, a partir de dados singulares suficientemente enumerados, inferimos uma verdade universal.

Premissa 1:Esta porção de água ferve a 100 graus.

Premissa 2:Esta outra porção de água também ferve a 100 graus.

Conclusão: A água ferve a 100 graus.

Premissa 1:O cobre é condutor de eletricidade.

Premissa 2:O ouro, e o ferro, e o zinco e a prata também. Conclusão: Logo, o metal é condutor de eletricidade.

54 Lógica Proposicional - Semântica

ARGUMENTOS INDUTIVOS

Diferentemente do argumento dedutivo, em um argumento indutivo, o conteúdo da conclusão excede o das premissas. A conclusão da indução tem apenas probabilidade de ser

correta.

Esta forma de argumento é responsável pela fundamentação de grande parte de nossos conhecimentos na vida diária, e de grande valia nas ciências experimentais.

Premissa 1:Esta porção de água ferve a 100 graus.

Premissa 2:Esta outra porção de água também ferve a 100 graus.

Referências

Documentos relacionados

Para as seguintes frases atómicas da linguagem funcional, quais têm traduções por frases atómicas na linguagem relacional. Indique a tradução e explique o problema das que não a

consequência lógica das quatro premissas Sócrates é um homem, Todos os homens são mortais, Nenhum mortal vive para sempre, Todos os que. virão a morrer às vezes preocupam-se

aumentou para 50 ºC. a) Determine a pressão de gauge do ar no pneu a esta temperatura, admitindo que o pneu não aumentou de volume.. Após um certo percurso a velocidades elevadas,

As resistências de aquecimento devem permanecer energizadas durante todo o período de armazenagem do gerador, para evitar a condensação da umidade no seu interior e assegurar que

Os benefícios da conversão do glicerol são vários, como a diminuição do impacto ambiental, pois o glicerol não pode simplesmente ser descartado no meio

Uma interpreta¸c˜ ao ou mundo pode ser estendido a partir dos valores de verdade atribu´ıdos ` as vari´ aveis proposicionais para todas as f´ ormulas.. Isso se d´ a atrav´ es de

É da responsabilidade da Direção a preparação de demonstrações financeiras que apresentem de forma verdadeira e apropriada, a posição financeira da Federação, o resultado das

Desse modo, atribuindo valores de verdade as variáveis proposicionais podemos obter o valor de verdade duma fórmula.. Podemos utilizar tabelas de verdade para olhar como podem