Lista de exercícios Lógica Fundamentos

[pic 1]

No exercício 4 você vai usar a contrapositiva, resolução número 2 aqui em cima e para resolver a recíproca, o exemplo está no começo (ANTES DA TABELA). Se tiver alguma dúvida sobre o enunciado, entre em contato.

Lembre-se do diagrama de Venn:

[pic 2][pic 3][pic 4][pic 5]

Lista de lógica – Simulado para a prova NP1 (William)

1- p: Está frio e q: Está chovendo. Faça a tradução do “código” para escrita “frase”:

1. p  v  ~q
2. p  ->  q
3. ~P ^ ~q
4. P <-> ~q
5. (p v ~q) <-> (q ^ ~p)

2- p: A terra é um planeta e q: A terra gira em torno do sol. Traduza para a linguagem simbólica “código”:

1. Não é verdade: que a terra é um planeta ou gira em torno do sol ->
2. Se a terra é um planeta então a terra gira em torno do sol ->
3. É falso que a terra é um planeta ou que não gira em torno do sol ->
4. A terra gira em torno do sol se, e somente se, a terra não é um planeta

Obs: Não é para marcar a alternativa correta, é para converter de frase para código, exemplo: ( p ^ q )

3- Escreva a negação das seguintes proposições “frase”:

1. É falso que não está frio ou que está chovendo
2. Se as ações caem, aumentam a taxa de desemprego
3. Ela tem cabelos louros se, e somente se, tem olhos azuís
4. Jorge estuda matemática, mas não estuda física

Obs: “mas” é igual à “e”. Novamente, não é para escolher uma alternativa, e sim para “transformar” essas proposições.

4- Se p é par, então q = 2 * variável ou Se p é diferente de 2 ( p ≠ 2 “impar” ), então ~q = ( 2 * variável ) + 1, determine:

Obs: Escreva o código sem os cálculos, só os simbolos de lógica ensinados em aula

1. Esse “ou”  é inclusivo ou exclusivo? Justifique
2. Sua expressão em “código”:
3. Sua contrapositiva em “código”:
4. Sua recíproca em “código”:

5- Com base nas duas expressões V( p ^ q <-> r v s) = F e V( ~r ^ ~s ), determine o resultado de V( p -> r v s):

6- Simplifique as proposições:

1. ( p v q ) ^ ~p
2. p ^ ( p -> q ) ^ ( p -> ~q )
3. p ^ ( p v q ) -> ( p v q ) ^ q

Obs; Lembre-se desse tipo de conta: 2( 1 + 2 ) -> ( 2x1 + 2x2 ) -> ( 2 + 4 ) -> ( 6 )

Com proposições: ( ~p v q ) ^ p -> ( ~p ^ p ) v ( q ^ ~p ) = Resultado

7- Escreva a expressão “código”:

[pic 6]

8- Escreva a expressão “código” e simplifique esse “código”:

[pic 7]

9- Dê o conjunto-verdade em R:

1. x² + x – 6 = 0 -> x² - 9 = 0
2. x² > 4 <-> x² + ( -5 . X ) + 6 = 0

10- Use o diagrama de venn:

1. Todos os girassóis são amarelos e alguns pássaros são amarelos
2. Coelhos e lontras são mamíferos, coelhos e sapos são saltitantes, sapos e lontras são nadadores

...