SUMÁRIO

1 Lógica Sentencial:.....................................................................................................3
1.1 Três leis do pensamento......................................................................................3
1.2 Sentenças abertas................................................................................................3
1.3 Sentenças Fechadas (proposição).......................................................................3
2 Representação das Proposições.................................................................................3
3 Operadores ou Conectivos Lógicos...........................................................................4
3.1 Hierarquia...........................................................................................................4
4 Tabelas-Verdade........................................................................................................4
Conjunção......................................................................................................................4
4.1 Disjunção............................................................................................................5
4.2 Disjunção Exclusiva...........................................................................................5
4.3 Condicional.........................................................................................................5
4.4 Bicondicional......................................................................................................5
4.5 Negação..............................................................................................................6
5 Tautologia Contradição e Contingência....................................................................6
5.1 Tautologia...........................................................................................................6
5.2 Contradição.........................................................................................................6
5.3 Contingência.......................................................................................................6
6 Negação de Preposições Compostas.........................................................................7
6.1 Negação de uma sentença...................................................................................7
7 Proposições equivalentes...........................................................................................7
7.1 Lei distributiva....................................................................................................7
7.2 Lei condicional...................................................................................................7
7.3 Lei dupla negação...............................................................................................7
7.4 Lei de Morgan.....................................................................................................7
7.5 Lei Bicondicional................................................................................................7
8 Inferência Lógica e Lógica de Argumentação...........................................................8
8.1 Logica de argumentação.....................................................................................8
8.2 Modus ponens.....................................................................................................9
8.3 Modus tollens......................................................................................................9
8.4 Dilema Construtivo.............................................................................................9
8.5 Dilema Destrutiva...............................................................................................9
9 Diagramas Lógicos....................................................................................................9
9.1 Quantificadores lógicos......................................................................................9
9.2 Negação dos quantificadores lógicos................................................................11
9.3 Inferências e argumentações lógicas.................................................................11
10 Princípio da Casa dos Pombos................................................................................11
 1 LÓGICA SENTENCIAL:
Expressão de um pensamento completo;
Sujeito (algo que se declara) e por um predicado (aquilo que se declara).

1.1 Três leis do pensamento

O princípio da Identidade: se qualquer enunciado é verdadeiro, então ele é
verdadeiro.
O princípio da Não contradição: nenhum enunciado pode ser verdadeiro e falso
O princípio do Terceiro Excluído: um enunciado ou é verdadeiro ou é falso.

1.2 Sentenças abertas

Não podemos determinar o sujeito;
Não é possível de interpretar, ou seja, dizer se o pensamento é verdadeiro ou
falso;
Na lógica bivalente, os pensamentos podem ser valorados como verdadeiro ou
falso.
Frase interrogativas, sempre abertas.
Frases exclamativas, quase sempre abertas. Deve-se observar se fora dada, pela
banca, a possibilidade de interpretar o contexto.

1.3 Sentenças Fechadas (proposição)

Podemos determinar o sujeito
Podemos interpretar.
Proposição: sentença, afirmativa ou negativa, formada por palavras ou símbolos
que expressam um pensamento de sentido completo, passiveis de valoração.
Valoração: valor-lógico ou valor-verdade

2 REPRESENTAÇÃO DAS PROPOSIÇÕES

As proposições podem ser representadas por letras, sendo estas maiúsculas ou
minúscula.
Proposições simples ou básicas (primitivas/atómicas): expressam apenas um
pensamento.
 Proposições compostas ou moleculares (formulas proposicionais): expressam
mais de um pensamento.
 Deve ter sempre um operador lógico;
 Sujeito composto não acarreta em proposição composta.

3 OPERADORES OU CONECTIVOS LÓGICOS

Conjunção: e, mas, tanto como: ^
Disjunção inclusiva: ou: v
Disjunção exclusiva: ou...ou: v
Condicional: Se..., então, quando, como, consequentemente:
Bicondicional: Se, e somente se:
Negação: ou modificador lógico: ~̚

3.1 Hierarquia
1 - Bicondicional
2 - Condicional
3 - Conjunção e disjunção
4 - Negação

4 TABELAS-VERDADE
Proposição composta: 2n = número de linhas

Conjunção
“e, mas, tanto como”: intercessão: ^
A B A^B
V V V
V F F
F V F
F F F

Possui a propriedade comutativa.

4.1 Disjunção
“ou”: união: v
P Q PVQ
V V V
V F V
F V V
F F F

Possui a propriedade comutativa.

4.2 Disjunção Exclusiva
“ou...ou...: v: um ou outro, mas não ambos
R S RVS
V V F
V F V
F V V
F F F

Possui a propriedade comutativa

4.3 Condicional
“se..., então...” subconjunto

A B A B
V V V
V F F
F V V
F F V

Não possuí a propriedade comutativa

4.4 Bicondicional
Se, e somente se: : (A B)^(B A)
A B A B
V V V
 V F F
F V F
F F V
A é consideração necessária e suficiente B
Possui a propriedade comutativa
4.5 Negação
Não, não é verdade que: ~̚
P ~p
V F
F V

5 TAUTOLOGIA CONTRADIÇÃO E CONTINGÊNCIA

5.1 Tautologia
Uma preposição composta formada por duas ou mais preposições é uma tautologia se
ela for sempre verdadeira, independente da verdade de seus termos.

A ~A B A B ~A v B (A B) (~A V B)
V F V V V V
V F F F F V
F V V V V V
F V F V V V

A B. Só vai se tautologia quando A e B forem iguais.

A B. Se uma linha for falsa, não é tautologia. Tentar mostrar o contrário.
A v B. Se uma linha for falsa, não é tautologia. Tentar mostrar o contrário.

5.2 Contradição
Uma preposição composta formada por duas ou mais preposições é uma contradição ou
contraválida se ela for sempre falsa, independente da verdade de seus termos.

A ~A A ~A
V F F
F V F

5.3 Contingência
Sempre que não for uma tautologia nem uma contradição.
 6 NEGAÇÃO DE PREPOSIÇÕES COMPOSTAS
São formadas pelas mesmas proposições simples e os resultados das tabelas-
verdade são contrários.
A ^ B: ~A V ~B
A V B: ~A ^ ~B
A B: A ^ ~B
A B: (A ^ ~B) V (B ^ ~A) / A v B
6.1 Negação de uma sentença
X > A: X < A
X = A: X ≠ A
Diante de uma preposição simples, negamos a ação do sujeito.

7 PROPOSIÇÕES EQUIVALENTES
São formadas pelas mesmas proposições simples e os resultados das tabelas-
verdade são idênticos.
↔: Não possui a propriedade comitativa
P Q ↔ ~P v Q
7.1 Lei distributiva
A ^ (B v C) ↔ (A ^ B) v (A ^ C)
Só vale para o ^ e v
7.2 Lei condicional
(A B ↔ ~A v B)
(A B ↔ ~B ~A)
7.3 Lei dupla negação
~(~A) ↔ A
7.4 Lei de Morgan
~(A^B) ↔ (~ A) v (~B)
~(A v B) ↔ (~A) ^ (~B)
7.5 Lei Bicondicional
[(A B) ^ (B A)] ↔ [A↔B]
Todo A é B ↔ Se A, então B
 8 INFERÊNCIA LÓGICA E LÓGICA DE ARGUMENTAÇÃO
É uma operação mental pela qual extraímos uma nova proposição denominada
conclusão, de proposições dá conhecidas, denominadas premissas.
Dedutiva: Premissas com sentido geral para conclusões com sentido particular.
A conclusão deve ser verdadeira de qualquer forma.
Indutivo: sua conclusão traz mais informações que as premissas fornecem.
Premissas com sentido geral e conclusão com sentido particular.
 Pode ser forte ou fraco

8.1 Logica de argumentação

Preocupa-se, basicamente, com a estrutura do raciocínio.
Todas as premissas devem ser verdadeiras
Silogismo: argumento com duas premissas e uma conclusão.
Silogismo categórico: composta por três preposições categóricas ou singulares,
e as três preposições categóricas devem conter ao todo duas premissas e uma conclusão
distinta dessas premissas.
Quando um argumento é e as hipóteses então a tese será
válido São todas verdadeiras Necessariamente
verdadeira
Não são todas verdadeiras Ou verdadeira ou falsa
Inválido São todas verdadeiras Ou verdadeiro ou falso
Não são todas verdadeiras Ou verdadeira ou falso

8.1.1 Regras da premissa

 Todo silogismo contém somente três termos: maior, médio e menor;
 Os termos da conclusão não podem ter extensão maior que os termos das
premissas;
 O termo médio não pode entrar na conclusão;
 O termo médio deve ser universal ao menos uma vez.
8.1.2 Regras da conclusão
 De duas premissas negativas, nada se conclui;
 De duas premissas afirmativas não pode haver conclusão negativa;
  A conclusão segue sempre a premissa mais fraca;
 De duas premissas particulares, nada se conclui.
8.2 Modus ponens
P Q
P
..........
.: q
8.3 Modus tollens
P Q
~Q
.............
.: ~P
8.4 Dilema Construtivo
Se duas condicionais são verdade e pelo menos um de seus antecedentes também
o é, então pelo menos um de seus consequentes também precisa ser.
P1: Se P implica Q = V
P2: Se R implica S = V
P3: P ou R = verdade (pelo menos um deles)
C: Q ou S tem que ser verdade (pelo menos um deles)
8.5 Dilema Destrutiva
Se duas condicionais são verdade, e pelo menos um de seus consequentes for
falso, então um dos antecedentes tem que ser falso.
P1: Se P implica ~Q = V
P2: Se R implica ~S = V
P3: Q ou S = V
C: Q ou S tem que ser verdade (pelo menos um deles)

9 DIAGRAMAS LÓGICOS
9.1 Quantificadores lógicos
Quantidade Qualidade
Universal Afirmativo
Particular Negativo
  Universal afirmativa: todo A é B
 Universal negativa: todo A não é B
 Particular afirmativo: algum A é B
 Particular negativo: algum A não é B

9.1.1 Universal afirmativo: Todo (tudo, qualquer, ...) A é B

Ɐx (A(X) B(X))
Não possui a propriedade comutativa

A B

9.1.2 Universal negativo: Todo (tudo, qualquer, ...) A não é B (nenhum A é B)

Todo A não é B:Ɐx (A(X) ~B(X))

Nenhum A é B ~ⱻ x (A(x) ^ B(x)

Possui a propriedade comutativa

B A

9.1.3 Particular afirmativo: Algum (existe, pelo menos um) A é B

A∩B≠ᴓ

ⱻ x (A(x) ^ B(x)
Possui a propriedade comutativa
9.1.4 Particular negativo: Algum (existe, pelo menos um) A não é B (nem todo A
é B)
A-B

Nenhum A é B: ⱻ x (A(x) ^ ~B(x)

Não possui a propriedade negativa.

9.2 Negação dos quantificadores lógicos

Nega a quantidade e a qualidade
Todo A é B: algum A não é B

9.3 Inferências e argumentações lógicas

10 PRINCÍPIO DA CASA DOS POMBOS

 Método da pior hipótese
 Questões que pedirem a certeza (garantia)
 Possibilidades não são admitidas
 Eventos sejam realizados em quantidade mínima

11 QUESTÕES DE VERDADES E MENTIRAS

1. Lei da não contradição: uma proposição não poderá ser verdadeira e falsa ao mesmo
tempo.
2. Lei do terceiro excluído: uma proposição será verdadeira ou falsa (V ou F), não
existindo um terceiro valor.
3. Lei da identidade: quem fala a verdade sempre fala a verdade sempre fala a verdade
(V sempre v); quem mente sempre mente (F, sempre F).

12 QUESTÕES COM SEQUÊNCIAS LÓGICAS

 13 QUESTÕES COM DATAS

14 RELAÇÕES ARBITRÁRIAS

 Soma de esforços: soma de frações

 Fração: tarefa/tempo