Professional Documents
Culture Documents
com (julho/09) 1
6. ESTRUTURAS LÓGICAS Se não durmo, bebo. Se estou furioso, durmo. Se durmo, não estou furioso. Se
não estou furioso, não bebo. Logo:
Utilizado quando a questão dá as premissas e a conclusão é uma das P1: ~D→B ≡ ~B→D
alternativas. P2: Fu→D
P3: D→~Fu
[1º TIPO] P4: ~Fu→~B
Uma das premissas apresenta somente uma forma de ser verdadeira
[proposição simples ou composta tipo conjunção (P1 e P2)] Encadeamento: Fu → D → ~Fu → ~B → D (P2 / P3 / P4 / P1)
Fu D ~Fu ~B D
Resolução: 3º Método de Validação de Argumentos
1ª V V V V V Contradição! → Fu e ~Fu
a) considerar VL(Pi)=V, e descobrir os VLs das proposições simples. 2ª F V V V V OK!
b) a partir dos VLs das proposições simples, encontrar qual a 3ª F F V V V Contradição! → D, Fu e ~Fu
alternativa que traz uma proposição com VL verdadeiro. 4ª F F F V V Contradição! → D, Fu e ~Fu
5ª F F F F V Contradição! → D, Fu e ~Fu
[2º TIPO] 6ª F F F F F Contradição! → Fu e ~Fu
Todas as premissas possuem mais de uma forma de ser verdadeira. Conclusão: Não estou furioso (Fu:F), não bebo (~B:V) e dirijo (D:V)
Há dois métodos para sua resolução
1º método: semelhante ao tipo anterior com uma especificidade. 7. CONTAGEM
1. considerar todas as premissas verdadeiras; (A) PERMUTAÇÃO: n elementos em n posições diferentes.
2. atribuir um valor lógico (V ou F) para uma das proposições simples;
3. substituir este valor lógico (escolhido do 2º passo) nas premissas e P n = n.( n − 1).(n − 2)...2.1 = n!
verificar se está correto, ou seja, não há alguma contradição entre
os resultados obtidos. (B) ARRANJO: grupos de r elementos a partir de n elementos, onde a
2º método: encadeamento lógico das premissas ordem importa.
1. modificar a segunda parte da condicional de uma premissa para que n!
Arn =
ela seja igual à primeira parte da condicional da premissa seguinte (n − r )!
2. feita por tentativa e erro até que se encaixe uma premissa a outra
(C) COMBINAÇÃO: grupos de r elementos a partir de n elementos,
3. montar uma tabela com tudo V e a partir da 2ª linha, adicionar um F
onde a ordem não é importante.
até chegar a todas as colunas F
4. verificar se há alguma linha em que não haja contradição entre os Simples: cada elemento pode ser Com Repetição: cada elemento
valores lógicos das premissas (tipo P = V e ~P = V) contado apenas uma vez pode ser contado + de uma vez.