resumo lógico teórico

4
www.professorbrunovillar.com.br Aula 1 resumo teórico Tema: LÓGICA PROPOSICIONAL Noção preliminar. Frase: Toda palavra ou conjunto de palavras que usamos para comunicar com alguém e possua sentido completo. As frases podem ser de vários tipos: Declarativa: O Brasil é um país do continente americano. Imperativa: Faça seu trabalho corretamente. Interrogativa: Que horas são? Como vai você? Exclamativa: Bom dia! A lógica formal tem como objetivo utilizar frases declarativas e que não possuam ambigüidade. PROPOSIÇÕES Definição: Uma proposição é toda sentença declarativa (com sujeito e predicado) á qual pode se atribuir, sem ambiguidade, apenas um do valor lógico: verdadeiro (V) ou falso (F). Tema: Princípios Fundamentais da lógica Princípio da Identidade: Todo objeto é idêntico a si mesmo, isto é, uma proposição verdadeira é sempre verdadeira e uma proposição falsa é sempre falsa. Principio da Não-contradição Uma proposição não pode ser simultaneamente verdadeira e falsa. Principio do Terceiro Excluído Toda proposição ou é só verdadeira ou é só falsa, nunca ocorrendo um terceiro caso. Tema: CLASSIFICAÇÃO DAS PROPOSIÇÕES As proposições podem ser simples ou compostas. Proposição simples ou atômica: É uma frase declarativa que expressa um pensamento completo acerca de um objeto, isto é, possui um único objeto de estudo. Proposição composta ou molecular: É formada por duas ou mais proposições relacionadas pelos conectivos lógicos. Tema: operadores lógicos DISJUNÇÃO: p q : p ou q P ou q ou ambos P e/ou q (documentos legais) Disjunção exclusiva: p q” (lê-se: ou p ou q). CONJUNÇÃO: p q: p e q / p, mas q / Tanto p como q / p, apesar de q Em provas de concurso já foi cobrado às seguintes formas: p e q p, mas q Tanto p como q CONDICIONAL As outras formas filosóficas de escrever a condicional são : Se p, então q p implica q p é suficiente para q q é necessário para p p conseqüentemente q Quando p, q

description

um resumo de raciocínio lógico.

Transcript of resumo lógico teórico

Page 1: resumo lógico teórico

www.professorbrunovillar.com.br

Aula 1 – resumo teórico

Tema: LÓGICA PROPOSICIONAL

Noção preliminar.

Frase: Toda palavra ou conjunto de palavras que usamos para comunicar com alguém e possua sentido

completo.

As frases podem ser de vários tipos:

Declarativa: O Brasil é um país do continente americano.

Imperativa: Faça seu trabalho corretamente.

Interrogativa: Que horas são? Como vai você?

Exclamativa: Bom dia!

A lógica formal tem como objetivo utilizar frases declarativas e que não possuam ambigüidade.

PROPOSIÇÕES

Definição: Uma proposição é toda sentença declarativa (com sujeito e predicado) á qual pode se atribuir,

sem ambiguidade, apenas um do valor lógico: verdadeiro (V) ou falso (F).

Tema: Princípios Fundamentais da lógica

Princípio da Identidade:

Todo objeto é idêntico a si mesmo, isto é, uma proposição verdadeira é sempre verdadeira e uma

proposição falsa é sempre falsa.

Principio da Não-contradição

Uma proposição não pode ser simultaneamente verdadeira e falsa.

Principio do Terceiro Excluído

Toda proposição ou é só verdadeira ou é só falsa, nunca ocorrendo um terceiro caso.

Tema: CLASSIFICAÇÃO DAS PROPOSIÇÕES

As proposições podem ser simples ou compostas.

Proposição simples ou atômica: É uma frase declarativa que expressa um pensamento completo acerca de

um objeto, isto é, possui um único objeto de estudo.

Proposição composta ou molecular: É formada por duas ou mais proposições relacionadas pelos conectivos

lógicos.

Tema: operadores lógicos

DISJUNÇÃO: p q : p ou q

P ou q ou ambos

P e/ou q (documentos legais)

Disjunção exclusiva: “p q” (lê-se: ou p ou q).

CONJUNÇÃO: p q: p e q / p, mas q / Tanto p como q / p, apesar de q

Em provas de concurso já foi cobrado às seguintes formas:

p e q

p, mas q

Tanto p como q

CONDICIONAL

As outras formas filosóficas de escrever a condicional são :

Se p, então q p implica q

p é suficiente para q q é necessário para p

p conseqüentemente q Quando p, q

Page 2: resumo lógico teórico

www.professorbrunovillar.com.br

No caso de p, q q, contanto p

q, se p q, no caso de p

Todo p é q.

Já foram cobradas as formas: p implica q; p é suficiente para q; q é necessário para p ,

p consequentemente q; q, se p e todo p é q.

BICONDICIONAL

Dadas duas proposições p e q, a proposição “p se, e somente se, q”, que será indicada por “p q”, é

chamada de bicondicional.

p q ( lê-se : p se e somente se q)

RESUMO:

Conectivo Símbolo Forma simbólica Sentido

Disjunção inclusiva p q Ocorre p ou ocorre q ou ambos

Disjunção exclusiva

p q Ocorre p ou ocorre q mas não ocorre ambos

Conjunção p q Ocorre p e q

Condicional

p q Se ocorre p então q também ocorre

Bicondicional

p q Ou ocorre p e q , ou não ocorre p e q

Resumo da tabela.

Conectivo Forma simbólica Dica

Disjunção inclusiva p q 1 V = V

Disjunção exclusiva p q Símbolos diferentes (VF ou FV) = V

Conjunção p q 1 F = F

Condicional p q VF = F

Bicondicional p q Símbolos iguais (VV ou FF ) =V

Tema: Negação de proposições compostas

Negação da disjunção: ~( p q ) ~ p ~q

Page 3: resumo lógico teórico

www.professorbrunovillar.com.br

Cuidado: As expressões : ~( p q) e ~ p q não representam a mesma coisa , a primeira expressão a

negação da conjunção e a segunda a negação de p “ou” q

Dica: Negar a primeira proposição ( simples ou composta ) depois colocar o conectivo “e” e negar a

segunda proposição ( simples ou composta).

Negação da conjunção: ~( p q ) ~ p ~q

Dica: Negar a primeira proposição (simples ou composta) depois colocar o conectivo “ou” e negar a

segunda proposição (simples ou composta).

Negação da condicional: ~ ( p q) p ~q

Dica: Conserva a primeira proposição (simples ou composta) colocar o conectivo “e” e depois negar

somente a segunda proposição ( simples ou composta)

Negação da bicondicional: ~ ( p q ) = ~ p q outra opção p ~ q.

Dica: conserva o conectivo e nega apenas uma proposição

EQUIVALÊNCIA LÓGICA

EQUIVALÊNCIA LÓGICA

As proposições P e Q são equivalentes quando apresentam tabelas verdades idênticas.

Indicamos que p é equivalente a q do seguinte modo: p q.

Para confirmar a equivalência lógica deve-se construir a tabela verdade das proposições e se apresentarem a

mesma valoração ( na ordem das linhas correspondentes) , então as proposições são equivalentes.

Vamos estudar, as equivalências mais cobradas em provas de concurso.

A condicional possui duas expressões equivalentes

p q ¬ q ¬p ¬ p q

1ª forma: p q q p (contra-positiva)

Dica: Inverte as proposições e nega.

2ª forma: p q p q ( a negação da negação da condicional)

Dica: Nega a primeira proposição colocar o conectivo “ou” e mantém a segunda proposição na forma original.

Resumo:

Se corro ,então canso.( p q)

Se não canso , então não corro. ( q p)

Não corro ou canso. ( p q )

Equivalente da bicondicional: (p q) (p q) ^ (q p)

Quantificador Universal ( )

O símbolo pode ser lido das seguintes formas:

Todo

Qualquer que seja.

Exemplo: Todo homem é mortal.

Page 4: resumo lógico teórico

www.professorbrunovillar.com.br

Na representação do diagrama lógico seria.

Cuidado todo homem é mortal, mas nem todo mortal é homem.

A forma Todo A é B pode ser escrita na forma Se A então B.

A forma simbólica da expressão Todo A é B é a expressão ( (x) / A (x) B)

Quantificador existencial ( )

O símbolo pode ser lido das seguintes formas:

Pelo menos um

Existe

Algum

Exemplo: Algum matemático é filósofo

O diagrama lógico dessa frase é

O quantificador existencial tem a função de elemento comum. A palavra algum do ponto de vista lógico

representa termos comuns, por isso Algum A é B possui a seguinte forma simbólica: ( (x)) ( A(x) B)