Buscar

Compilado de Provas de Lógica - UNIP EAD

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes
Você viu 3, do total de 21 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes
Você viu 6, do total de 21 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes
Você viu 9, do total de 21 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Prévia do material em texto

MUTIPLA ESCOLHA
P) Conforme descrito no livro-texto, proposição é um “o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo”. É também afirmado que a proposição é uma expressão declarativa e não pode ter sentido ambíguo, ou seja, só poderá ser verdadeira ou falsa. Uma proposição pode ainda ser simples ou composta. Leia as expressões abaixo:
I – Marcos foi ao parque hoje pela manhã e Maria foi para a academia.
II – O número 15 é maior que o número 30.
III – Feliz aniversário!
IV – O que você vai fazer no fim de semana. 
 Podemos dizer que são proposições APENAS as expressões: 
I. III e IV
I e II
II, III e IV
II e IV
I, II, III e IV
P) Diz-se que duas proposições têm relação de equivalência P <=> Q quando os valores lógicos das combinações a proposição P forem exatamente iguais aos valores lógicos das mesmas combinações da proposição Q, ou seja, exatamente iguais. 
 Para as expressões acima são relações de equivalência logica APENAS
I, II e III
II e III
II, III e IV
I, II, III e IV
III e IV
P) Em logica, é comum a utilização do quantificador existencial “existe” ou “para algum” e do quantificador universal “para todo” ou “qualquer que seja” para transformar uma sentença aberta em uma proposição.
É um exemplo de atribuição de valor lógico FALSO a alternativa
Existe X e Z tal que x+4 = -4
Para todo x e N temos que x > 15
Para qualquer x e R temos que x < -5
Existe x e R tal que 3x + 5 = 15
Para algum x e N temos que x² + 16 = 0
P) Em lógica dizemos que uma proposição composta P implica em outra proposição composta Q quando a condicional entre elas for uma tautologia.
Porque a tabela-verdade de uma condiciona o p->q garante que o valor logico da proposição composta só sera falso se p tiver valor logico (V) e q valor logico (F).
As duas afirmações são proposições verdadeis, e a segunda é uma conclusão correta da primeira
As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira
A primeira afirmação é uma proposicção verdadeira e a seguna é uma proposicção falsa
A primeira afirmação é uma proposicação falsa e a segunda é uma proposcição verdadeira
As duas afirmacaoes são proposições falsas. 
P) Sofisma é:
Um raciocínio aparentemente correto que tem o objetivo de enganar
Um raciocínio correto que tem o objetivo de esclarecer
Uma mentira fragosa
Um argumento verdadeiro
Um argumento falso
P) Leia o enunciado a seguir e analise as afirmativas.
Duas proposições são equivalentes se:
I – Suas tabelas-verdades são iguais
II – A bicondicional entre elas é tautológica.
III – A bicondicional entre elas é uma contingencia. 
Todas as afirmativas são incorretas
Apenas as afirmativas I e II são corretas
Apenas as afirmativas II e III são corretas
Apenas as afirmativas I e III são corretas.
Todas as afirmativas são corretas. 
P) Sejam as proposições:
p: Odete é cantora
q: Odete é bonita
Escritas em linguagem natural ), a alternativa correta é: 
Odete é cantora e bonita
Odete é cantora se, e somente se, ela é bonita.
Se Odete é cantora, então ela não é bonita.
Se Odete é cantora, então ela é bonita.
Nenhuma das alternativas anteriores esta correta. 
P) Dada as proposições:
p: Emerson é professor.
q: Emerson é estudioso.
Se aplicarmos a operação condicional, é correto afirmar que:
Emerson é professor e estudioso
Emerson é professor ou estudioso
Se Emerson é professor, então ele é estudioso.
Emerson é professor se, e somente se, ele é estudioso.
Nenhuma das alternativas anteriores esta correta. 
 P) A propriedade transitiva da implicação garante que:
P) A propriedade reflexiva da implicação garante que:
 então P 
P) Dado o resultado das proposições abaixo, assinale a alternativa correta.
I – V(P) = V, V, V, V
II – V(Q) = F, V, F, V
III – V(R) = V, F, V, F
I é uma tautologia, II é uma contradição e III é uma contingencia.
I é uma tautologia, II é uma tautologia e III é uma contradição.
I é uma contingencia II é uma tautologia e III é uma contradição
I é uma contradição, II é uma tautologia e III é uma contradição.
I é uma tautologia, II é uma contingencia e III é uma contingencia. 
P) Dadas as proposições e , qual a afirmativa correta?
V, V, V, F – (~p v q) implica em (p q)
F, V, V, V – (~p v q) implica em (p q)
V, V, V, V – (~p v q) não implica em (p q)
V, F, F, V – (~p v q) não implica em (p q)
V, V, V, V – (~p v q) implica em (p q)
P) Avalie as afirmações a seguir:
I – p ⊻ q , é tautológica
II – p ⊻ q é contraditória
III – p ⊻ q é contingencia
IV – Sempre que p é F é F
V – p q só é F quando p é F
Indique a afirmativa correta: 
Todas são corretas
Apenas a I é incorreta
Apenas I, I e III são incorretas
Apenas II é correta.
Todas são incorretas
P) Tratando da tabela verdade e analisando o encerramento da última coluna (...) dizer que se trata de uma tautologia. 
E quando a ultima coluna da tabela verdade se encerra somente com letras F e V
E quando a ultima coluna da tabela verdade se encerra com letras F e pelo menos V
E quando a ultima coluna da tabela verdade se encerra somente com letras V
E quando a ultima coluna da tabela verdade se encerra somente com letras F
E quando a ultima coluna da tabela verdade se encerra com letras V e pelo menos F
P) Sejam as proposições:
p: O esporte é uma forma de educação
q: O esporte faz bem à saúde
Como deve ser escrita a disjunção dessas duas proposições. 
p q
p 
p q 
p 
P) Dada a tabela abaixo, podemos afirmar que:
A implica em B
A e B são equivalentes 
A e B são equivalentes e também implicações lógicas
B implica em A
Nenhuma das alternativas esta correta
P) Se tivermos uma proposição U composta por p, q, r, s, t os valores V e F se alteram de: 
Dois em dois
Quatro em quatro
Oito em oito
Dezesseis em dezesseis
Trinta e dois em trinta e dois. 
P) Dadas as proposições e , qual é a afirmativa correta?
 são equivalentes a 
 são equivalentes e também implicam em 
 não são equivalentes e nem implicam em 
 não são equivalentes a 
Nenhuma das alternativas anteriores esta correta
P) Assinale a ordem correta que aparece os conectivos (, ~, )
Negação, Conjunção e Disjunção.
Conjunção, Negação e Disjunção.
Disjunção, Negação e Conjunção.
Bicondicional, Negação e Conjunção.
Condicional, Conjunção e Negação.
P) Indique a regra de inferência conhecida como Dilema Construtivo (DC): 
P) O Método dedutivo em logica matemática é muito utilizado para simplificar proposições compostas complexas, bem como também pra validar argumentos, pois dispensa o uso de tabelas-verdade. Conhecer a relação de equivalência entre as proposições é uma ferramenta que auxilia muito na aplicação deste Método. Seja a afirmação. “eu terei um computador novo se, e somente se, eu for promovido”. A NEGAÇÃO desta afirmação é equivalente a dizer que:
Eu não terei um computador novo e não fui promovido.
Se eu não fui promovido, então não terei um computador novo.
Eu fui promovido ou terei um computador novo
Eu terei um computador novo e não fui promovido ou eu fui promovido e não terei um computador novo.
Eu não terei um computador novo ou não fui promovido e eu não fui promovido e não terei um computador.
P) Em logica, sentenças abertas são expressões declarativas que não podem ter atribuídos um valor logico de verdadeiro ou falso. A sentença assumira o valor logico verdadeiro ou falso dependendo do valor da variável. 
Porem podem ser consideradas como proposições se a estas variáveis forem atribuídos valores que possibilitem que a sentença assuma valor logico verdadeiro ou valor logico falso. 
As duas afirmações são verdadeiras, e a segunda é uma conclusão correta da primeira.
A primeira afirmação é uma proposição verdadeira, e a segunda é uma proposição falsa.
A primeira é uma proposição falsa, e a segunda é uma proposição verdadeira.
As duas afirmações são proposições falsas
As duasafirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira. 
P) Em lógica, um argumento é um conjunto sequenciado de proposições simples ou compostas, chamadas de premissas, que tem a finalidade de defender uma ideia, e de uma conclusão. Um argumento só será valido se, e somente se, a conclusão for verdadeira toda vez que as premissas forem verdadeiras. 
Portanto, um argumento é INVALIDO se não houver relação de implicação entre as premissas e a conclusão. 
As duas afirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira
As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira.
A primeira afirmação é uma proposição verdadeira, e a segunda e uma proposição falsa.
A primeira afirmação é uma proposição falsa, e a segunda é uma proposição verdadeira.
As duas afirmações são proposições falsas.
P) Proposições são expressões declarativas que possuem sentido completo. Elas podem ser simples ou compostas. Para a formação de proposições compostas, é necessário o uso de conectivos. Portanto, conectivos são palavras usadas para formar proposições compostas a partir de proposições simples.
I – Se o jogo for em São Paulo, então o time terá que viajar.
II – Paulo será o treinador e Lucas será o arbitro.
III – Haverá jogo se, e somente se, o estádio for liberado.
IV – Marcelo vai jogar ou Pedro ficara no banco.
Analise as proposições acima e indique respectivamente qual o conectivo utilizado para formação das proposições compostas. 
Implicação, disjunção, bicondicional e conjunção.
Condicional, conjunção, equivalência e condicional.
Bicondicional, disjunção, condicional e conjunção.
Condicional, conjunção, bicondicional e disjunção.
Implicação, conjunção, equivalência e disjunção.
P) Proposições simples ou atômicas são aquelas que não podem ser divididas em outras proposições e proposições compostas ou moleculares são formadas pela combinação de duas ou mais proposições simples. As proposições compostas são formadas pelo uso de conectivos. 
I – Se estiver chovendo, então terei que ficar em casa
II – Carla, ligue para o Paulo e peça o número da matricula dele.
III – Marcos tomou o seu café da manha e saiu para jogar futebol.
IV – A maioria dos acidentes de transito ocorre por fata de atenção.
São exemplos de proposições compostas as expressões 
I, II e III
II, III e IV
I e II
I e III
III e IV
P) O valor logico de uma proposição composta é determinado exclusivamente pelo valor logico das proposições simples que a compõem, com isto, se é conhecido o valor logico das proposições simples, é possível determinar o valor logico da proposição composta.
Sejam os valores lógicos das proposições simples: V(p) = V , V(q) = V e V(r) = V, podemos afirmar que o valor logico da proposição composta “ ~ (p V q) r “ é VERDADEIRO?
Sim, pois a conjunção de um valor logico falso com um valor logico verdadeiro sempre resultara em uma valor logico verdadeiro.
Não, pois a negação faz com que a proposição assuma valor falso.
Sim, pois todos os valores das proposições são verdadeiros.
Não, pois a disjunção de valores lógicos iguais resultara em um valor logico verdadeiro
Sim, pois a condicional de um valor logico falso com um valor logico verdadeiro sempre resultara em um valor logico verdadeiro. 
P) Sempre que o valor logico de uma proposição composta for verdadeiro, não importando a combinação das proposições simples que a compõem, teremos uma tautologia. Proposições tautológicas possuem importância fundamental em Logica. Um método pratico para se concluir se uma proposição composta tautológica é construir sua tabela-verdade. Sejam as proposições compostas abaixo:
I – (p v q) p
II – (p ^ q) p
II – (p ^q) (p v q)
Podemos afirmar que é TAUTOLOGICA, ou que são TAUTOLOGICAS, as alternativas:
I, II e III
I e III
II e III
Apenas I
Apenas III
P) Quando se analisa a validade ou não de um argumento, as premissas são sempre assumidas como verdadeiras. Em Logica, a importância é a validade do argumento e não se as premissas e conclusão são verdadeiras ou falsidades. Sejam as proposição.
I – Se Marcos acordar cedo, então Pedro ira viajar. a->b a -> F = a é falso
II – Pedro não viajou ou Carlos foi trabalhar. ~b V c ~b OU F = ~b = verdadeiro 
III – Se Carlos foi trabalhar, então Jose foi jogar bola. C -> d c - > F = então c é falso
IV – Jose não foi jogar bola. 				~d
Para as premissas dadas, uma conclusão possível para que este argumento seja valido é:
Logo, Pedro foi trabalhar.
Logo, Jose não foi viajar.
Logo, Marcos não acordou cedo.
Logo, Carlos foi trabalhar.
Logo, Pedro viajou.
P) O uso de parêntese na simbolização de proposições compostas é de extrema importância de modo a não permitir duplo sentido na leitura destas proposições. Também para evitar ambiguidades, por convenção, assume-se que os conectivos possuem ordem de precedência em uma expressão simbólica, além disto, o valor logico de uma proposição composta depende exclusivamente do valor logico das proposições simples que a compõem. 
Sabendo que: p: o número 3 é menor que o número 7; q : a raiz quadrada de 49 é 7 e r: o número 15 é um número par.
I – p ^ r ~q V r
II – (p ^ q) ^ ~ (p V q) 
III – (p q) ^ p q
Respectivamente, os valores lógicos das proposições compostas acima são:
V, V, V
F, F, F
V, F, V
V, F, F
F, V, V
P) Um argumento é composto de premissas e conclusão. Argumentos podem ser validos ou não validos. A validade ou não de um argumento depende exclusivamente da sua forma e não de seu conteúdo. 
I – Se eu correr, então consigo chegar a tempo. Corri. Logo cheguei a tempo.
II – Se eu correr, então consigo chegar a tempo. Corri. Logo, não cheguei a tempo.
III – Corri. Cheguei a tempo Logo, corri e cheguei a tempo.
IV – Ou corri ou cheguei a tempo. Não corri. Logo, cheguei a tempo. 
Assinale os argumentos acima, quais são VALIDOS?
I, II e III
II, III e IV
I, III e IV
II e III
I, II, III e IV
P) Para validar um argumento, é necessário saber a sua forma. O estudo da logica não se preocupa se as premissas e a conclusão são verdadeiras ou falsas. Para análise da validade ou não de um argumento, assume-se que as premissas tem valor logico sempre verdadeiro. Considere as seguintes premissas: 
P1 : Se Mario vai ao cinema, então Paulo não fica em casa.
P2 : Se Paula não fica em casa, então Ana vai trabalhar.
P3 : Ou Ana não vai trabalhar ou Carlos vai viajar.
P4 : Carlos não vai viajar.
Logo, para um argumento VALIDO, pode-se concluir que:
Ana vai trabalhar
Ana na foi viajar
Mario foi trabalhar
Paula ficou em casa
Carlos foi viajar. 
P) A negação de uma proposição possui valor inverso ao da proposição original, se a proposição tem valor logico (V), a negação dessa proposição tem valor logico (F) e vice-versa. Um diagrama de Venn mostra com clareza a representação da negação. 
Seja a proposição “Todas as flores são perfumadas”, a alternativa que representa a negação da proposição é:
Nenhuma flor é perfumada. 
Nem todas as flores são perfumadas
Existe uma flor que não é perfumada
Apenas uma flor é perfumada.
Todas as flores não são perfumadas. 
P) Não é possível atribuir valores lógicos em sentenças abertas, pois este tipo de sentença possui uma ou mais variáveis, dependendo d valor assumido por estas variáveis é que se pode julgar se são verdadeiras (V) ou falsas (F). Em sentenças abertas da forma , x é um elemento qualquer de um conjunto U e P(x) é uma propriedade a respeito dos elementos de U.
Sejam as sentenças abertas: p: “x é um número primo” e q: “x é < 20” e U = N (conjunto dos números naturais).
I – Vp ^ q = { x e N / 0 < x < 20}}
II– V~ q = { x e N / x > 20}
III – V~p = { x e N / x não é um número primo }.
IV – Vp V q = { x e N / 0 < x < 20}
Só são VERDADEIROS os conjuntos verdade em:
I, II e III e IV
I, III e IV
I e II
II e III
III e IV
P) Leia o enunciado e julgueas assertivas a seguir:
As proposições pq e ~q~p são chamadas:
I – Reciprocas
II – Contrarias
III – Contrapositivas.
Indique a alternativa correta:
Todas as afirmativas são incorretas
Todas as afirmativa são corretas
Apenas a afirmativa I e correta
Apenas a afirmativa II e correta
Apenas a afirmativa III é correta. 
P) Leia o enunciado a seguir e analise as afirmativas
As proposições (p q) [(~p v q) ^ (~q v p)] é:
I – Uma contingencia
II – Uma contradição
III – Uma tautologia
Indique a alternativa correta:
Todas as afirmativas são incorretas
Todas as afirmativa são corretas
Apenas a afirmativa I e correta
Apenas a afirmativa II e correta
Apenas a afirmativa III é correta. 
P) Leia o enunciado a seguir e analise as afirmativas
As proposições (p v q) ↔ p ↔ q é:
I – Uma contingencia
II – Uma contradição
III – Uma tautologia
Indique a alternativa correta:
Todas as afirmativas são incorretas
Todas as afirmativa são corretas
Apenas a afirmativa I e correta
Apenas a afirmativa II e correta
Apenas a afirmativa III é correta. 
P) Construir a tabela-verdade para as proposições ~(p ↔ q) e assinalar a alternativa correta para o resultado final da tabela.
V, V, F, V
F, V, F, F
F, V, V, F
F, F, F, V
F, V, V, V
P) Leia o enunciado e analise as assertivas a seguir:
As proposições p^q ~p podemos afirmar que:
I –É tautológica
II – É contraditória
III – É uma contingencia.
IV – É equivalente a ~(p^q)
Indique a alternativa correta:
As afirmativas I e II estão corretas
As afirmativas Ii e III estão corretas
As afirmativas III e IV estão corretas
As afirmativas I e IV estão corretas
As afirmativas II e IV estão corretas. 
P) Leia o enunciado e analise as assertivas a seguir:
As proposições p p^q podemos afirmar que:
I –É tautológica
II – É contraditória
III – É uma contingencia.
IV – É equivalente a pq
Indique a alternativa correta:
As afirmativas I e II estão corretas
As afirmativas Ii e III estão corretas
AS afirmativas III e IV estão corretas
As afirmativas I e IV estão corretas
As afirmativas II e IV estão corretas. 
P) Dadas as sentenças abertas em N:
p(x) : X < 10
q(x) : X > 5
Escreva o conjunto verdade Vp^q:
{x e N | X > 5 }
{x e N | X < 10 }
{ x e N | 5 < x < 10}
{x e N | x 10}
{x e N | x 
P) A condicional associada ao argumento: pq, rs, p v r |-- q v s é: 
(p q) ^ (r s) ^ (p v r) (q v s)
(p q) v (r s) v (p v r) q v s
(p q) v (r s) v (p v r) q v s
(p q) v (r s) ^ (p v r) q v s
(p q) ^ (r s) v (p v r) q v s
P) Leia o enunciado e julgue as assertivas a seguir.
Do argumento, podemos dizer que é:
I – Valido
II – Verdadeiro
III – Falso
IV – Invalido
Indique a alternativa correta:
Todas as afirmativas são incorretas
As afirmativas I e III são corretas
As afirmativas II e IV são corretas
As afirmativas I e IV são corretas
Todas as afirmativas são corretas
P) Um argumento é valido quando: 
A condicional formada pela conjunção das premissas na hipótese e a com (...)
A bicondiconal formata pela conjunção das premissas na hipótese e a com (...)
A conclusão for verdadeira toda vez em que as premissas forem (...)
As alternativas A e B estão corretas.
As alternativas A e C estão corretas. 
P) Seja a proposição P composta pelas proposições simples q, r, s, t e u; A tabela verdade da proposição P(q,r,s,t,u) terá quantas linhas? 
32
16
8
6
4
P) Leia o enunciado e considere as assertivas a seguir.
Quais as formas corretas da negação da proposição: “Todo sucesso é merecido”?
I – Nenhum sucesso é merecido.
II – Algum sucesso é merecido.
III – Existe pelo menos um sucesso que não é merecido.
Indique a alternativa correta:
As afirmativas I e II estão corretas
As afirmativas I e III estão corretas
As afirmativas II e III estão corretas
Apenas a afirmativa II está correta
Apenas a afirmativa III está correta.
P) A definição de argumento é: 
Toda afirmação de forma se P então Q
Toda afirmação de forma P se e somente Q
Toda afirmação formada por um conjunto finito de premissas que te uma conclusão como consequência.
Uma afirmação verdadeira qualquer
Uma afirmação valida qualquer. . 
P) Dadas as proposições
p: Henrique é jogador de futebol
q: Henrique é musico.
Se aplicarmos a operação de disjunção, é correto afirmar que: 
Henrique é jogador de futebol e musico
Henrique é jogador de futebol ou musico
Se Henrique é jogador de futebol, então ele é musico
Henrique é jogador de futebol se, e somente se, ele é musico.
Todas as afirmativas são incorretas. 
P) Avalie as afirmações a seguir: 
I – p v q ↔ (p ↔ q) é tautológica
II – p v q ↔ (p ↔q) é contraditória. 
III – p v q ↔ (p ↔q) é contingencia.
IV – Sempre que p é F p ↔ q é F
V – p ↔ q só é F quando p é F.
Indique a afirmativa correta:
Todas são corretas
Apenas a I é incorreta
Apenas I, II e III são incorretas
Apenas II é correta
Todas são incorretas.
P) As regras de inferência são formas elementares de argumentos que podem ser facilmente verificados pela tabela-verdade. A utilização de regras de inferência permite que estruturas argumentativas complexas possam ser analisadas sem a necessidade da tabela verdade. Tomemos como exemplo a regra de inferência Modus Ponnens (MP): pq, p ⊦  q, facilmente constatamos que a condicional associada a este argumento é uma tautologia.
Sejam as premissas de um argumento: “Se João almoçar, então ira para escola, João almoçou”. A conclusão deste argumento, para que seja VALIDO é:
Logo, João não almoçou.
Logo. João almoçou e não foi para a escola
Logo, João não foi para a escola.
Logo, João foi para a escola.
Logo, Jogão não almoçou e não foi para a escola.
P) Um dos princípios fundamentais da logica, o princípio do terceiro excluído, afirma que toda proposição possui valor logico verdadeiro ou valor logico falso. No caso das proposições compostas, o valor logico da combinação, depende exclusivamente dos valores lógicos das proposições simples que a compõem. Sabendo-se que o valor logico da proposição composta: “Se Carlos trabalha no hospital, então ele é medico” é falso, podemos afirmar que:
Carlos é medico
Carlos trabalha no hospital
Carlos trabalha no hospital e não é medico
Carlos não trabalha no hospital e não é medico
Carlos trabalha no hospital e é medico. 
P) A negação de uma proposição com quantificadores pode ser encontrada pelas segundas regras de negação De Morgan:
Se não é verdade que “Todas as pessoas que trabalham em TI são formadas em Analise de Sistemas”, então é necessariamente VERDADE que:
Nenhuma pessoa que trabalha em TI é formada em Analise de Sistemas
Todas as pessoas de TI são formadas em Analise de Sistema
Ninguém formada em Analise de sistemas trabalha em Ti
Alguma pessoa formada em Analise de Sistemas trabalha em TI
Alguma pessoa que trabalha em TI não é formada em Analise de Sistemas. 
P) Augustus de Morgam foi um matemático Britânico que contribuiu muito para o desenvolvimento da ideia de indução matemática. As Leis de De Morgam são muito utilizadas ate hoje no desenvolvimento de programas de computadores, e sua maior contribuição foi demonstrar que a negação de uma conjunção é equivalente a disjunção de suas negações: e, que a negação de uma disjunção é equivalente a conjunção de suas negações. Sendo a expressão: Paulo comprou um café e foi para o trabalho”, a NEGAÇÃO desta expressão de acordo com a logica proposicional é:
Paulo não tomou café e foi para o trabalho
Paulo não tomou café e não foi para o trabalho
Paulo tomou café ou não foi para o trabalho
Paulo não tomou café ou foi para o trabalho
Paulo não tomou café ou não foi para o trabalho. 
P) As propriedades das proposições, tais como identidade associativa, comutativa e distributiva são frequentemente utilizadas para se verificaras relações de equivalência e de implicação através do Método dedutivo.
Pode-se afirmar que são propriedades das proposições logicas as seguintes expressões.
I, II e III
I, IIe IV
I e II
III e IV
I, II, III e IV
P) Para se ter uma proposição composta tautologia, é necessário que o seu valor logico seja sempre verdadeiro, sejam quais forem os valores lógicos das proposições simples que a compõem, da mesma forma, é dito que uma proposição composta é contraditória quando o seu valor logico for sempre falso, independente da combinação dos valores lógicos de suas proposições simples. Se o valor logico da proposição composta depender do valo logico de cada proposição, então tem-se uma contingencia. 
Respectivamente, nas proposições acima temos:
Tautologia, contingencia, contradição
Tautologia, contingencia e tautologia
Contingencia, tautologia e contradição
Contradição, tautologia e contingencia
Contingencia, tautologia e contingencia.
P) A relação entre a conclusão e as premissas de um argumento é chamada de inferência. Para facilitar a verificação de validade ou não de argumentos mais complexos, são utilizadas regras de inferência. 
Algumas destas regras são: 
Dadas as premissas de um argumento “Se houver aula, então vou pescar. Houve aula”. Podemos concluir que:
Não fui pescar
Houve aula e eu fui pescar
Ou houve aula ou fui pescar
Não houve aula
Não houve aula e não fui pescar
P) Conectivos são palavras usadas para formar proposições compostas a partir de proposições simples. Um dos princípios fundamentais da Logica, o principio do terceiro excluído, afirma que toda proposição possui valor logico verdadeiro ou valor logico falso. Seja p: Maria é cientista e q: Pedro é medico.
Assinale a alternativa INCORRETA com relação ao uso dos conectivos. 
Se o valor logico da proposição p é falso e da proposição q também é falso, então a disjunção entre p e q tem valor falso
Se o valor logico da proposição p é falso e da proposição q também é falso, então a conjunção entre p e q tem valor falso.
Se o valor logico da proposição p é falso e da proposição q é verdadeiro, então a condicional entre p e q tem valor verdadeiro.
Se o valor logico da proposição p é falso e da proposição q é verdadeiro, então a disjunção entre p e q tem valor falso
Se o valor logico da proposição p é verdadeiro e da proposição q é verdadeiro, então a conjunção entre p e q tem valor verdadeiro. 
P) Em logica, um argumento é um conjunto sequenciado de proposições simples ou compostas chamadas de premissas, que tem a finalidade de defender uma ideia, e de uma conclusão. Um argumento será valido se, e somente se, a conclusão for verdadeira toda vez que a premissas forem verdadeiras.
Portanto, um argumento é INVALIDO se não houver relação de implicância entre as premissas e a conclusão. 
As duas afirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira
As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira. 
A primeira afirmação é uma proposição verdadeira, e a segunda é uma proposição falsa
A primeira afirmação é uma proposição falsa, e a segunda é uma proposição verdadeira
As duas afirmações são proposições falsas. 
P) Proposições condicionais são muito utilizadas tanto em linguagem corrente como em logica matemática. Uma condicional afirma unicamente o valor logico entre as proposições. Veja o exemplo: “Se você trouxer os documentos, então poderá fazer a matricula”. Analise as seguintes expressões:
I – Se eu trouxer os documentos, poderei fazer a matricula
II – Se eu não trouxer os documentos, poderei fazer a matricula
III – Se eu trouxer os documentos, não poderei fazer a matricula
IV – Se eu não trouxer os documentos, não poderei fazer a matricula.
Podemos concluir que são VERDADEIRAS as expressões:
I, II e III
II, III e IV
III e IV
I, II e IV
II e III
P) Para se saber se um argumento é valido ou não, pode-se usar a tabela-verdade ou regras de inferência. 
Sejam as proposições:
p: Hoje é sexta-feira
q: Paulo vai ao cinema.
Dadas as premissas e a conclusão:
I – Se hoje não é sexta-feira, então Paulo vai ao cinema. Hoje é sexta-feira, Logo, Paulo não vai ao cinema.
II – Hoje é sexta-feira, Paulo vai ao cinema. Logo, hoje é sexta-feira e Paulo vai ao cinema.
III – Se hoje é sexta-feira, então Paulo vai ao cinema. Hoje é sexta-feira. Logo, hoje não é sexta-feira.
IV – Se hoje é sexta-feira, então Paulo não vai ao cinema. Paulo vai ao cinema, Logo, hoje não é sexta-feira.
São argumentos VALIDOS as alternativas:
I, II e III
II e IV
II, III, IV
I e III
I, II, III e IV
2. As propriedades das proposições, tais como identidades associativas, cumulativas e distributivas são frequentemente utilizadas para se verificar as relações de equivalência e de implicação através do método dedutivo. ]
I – p ^ (q V r) <=> (p ^ q) ? (p ^ r)
II – p ^ (p V q) <=> p 
III – (p -> q) -> r <=> p -> (q -> r)
IV – (p <-> q) <-> r <=> p <-> (q <-> r)
Pode-se afirmar que são propriedades das proposições logicas as seguintes expressões: 
I e II
I, II e IV
II e III
I, II e III
I e IV
P) Para se saber se um argumento é valido ou não valido dependendo do numero de proposições simples que o compõem, pode-se analisar a sua condicional associada através da tabela-verdade. Já para argumentos mais complexos, o uso de regras de inferência é uma alternativa mais viável. A utilização das regras de inferência consiste em uma sequencia logica de inferências e substituições de modo a se obter todos os valores lógicos possíveis.
Na proposição: “Se Ana presta atenção na explicação, então aprende. Ana presta atenção na explicação e estuda. Logo, Ana aprende”. Quais regras de inferência são usadas para validar este argumento? 
p q,	q p (MP); p q, p ~p (MP)
p ^ r p (SIMP); p q, p q (MP)
pp V q (AD); p ^ rp (SIMP)
p q, p ~p (MT); p p V q (AD).
p ^ r p (SIMP); p q , p ~p (MT)
DISERTATIVAS
P). Sendo a afirmação “Todos os astronautas vão a Lua”, determine a negação desta proprosição.
Dica: Segundas regras de negação DE MORGAN” 
Algum astronauta não vai a Lua. 
P). O Valor logico de uma proposição composta depende exclusivamente dos valores lógicos das proposições simpels que a compõem. De acordo com o principio do terceiro excluído, uma proposição so pode ter valor logico verdadeiro ou valor logico falso. Para se saber o valor logico de uma proposição composta, é necessário fazer a combinação de todos os valores lógicos possivels de suas proposcieos simples. POara este caso, a construção de uma tabela-verdade é de grande ajuda. O número de combinações ou linhas, que aparecerão na tabela-verdade é dado pela quantidade de proposcieos simples presentes na proposição composta. Construa a tabela-verdade para a proposição composta: P(p,q) = ~ (p ^ q) V ~ (q <-> p)
P). Construir a tabela verdade da proposição:
P(p, q,r) = 
	p
	q
	r
	~r
	
	
	
	V
	V
	V
	F
	V
	F
	F
	V
	V
	F
	V
	V
	V
	V
	V
	F
	V
	F
	V
	F
	F
	V
	F
	F
	V
	V
	F
	F
	F
	V
	V
	F
	F
	F
	V
	F
	V
	F
	V
	V
	V
	V
	F
	F
	V
	F
	F
	F
	V
	F
	F
	F
	V
	V
	F
	F
P). Descreva quais os passos para construir a tabela verdade da proposição.
P(p,q) = ~ (p ^ ~ q)
Montar p e q, negar q, montar p ^ ~q, negar p^~q
	p
	q
	~q
	p ^ ~q
	~(p ^ ~q)
	V
	V
	F
	F
	V
	V
	F
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	
	
	
	
	
P). Defina tautologia, contradição e contingencia. 
Tautologia é toda a proposição composta cuja valor lóico é sempre verdadeiro, qualquer que sejam os valores lógicos da proposições simples componentes.
Contradição é toda proposição composta cujo valor lógico é sempre F, qualquer que sejam os valores lógicos das proposições simples componentes. 
Contingencia são todas proposições compostas cujo a ultima coluna da tabela-verdade tenha as letras V e F, pelo menos uma vez cada.
P). Explique e diferencia proposições simples e proposições compostas, dando ainda um exemplo de cada uma delas.
Uma proposição simples é aquela que não pode sersubdividida em outras proposições, já a proposição composta é aquela formada pela combinação de duas ou mais proposições. 
Composição Simples: Natalia é linda 
Composição Composta: Natalia é linda e Leticia é inteligente. 
P). “Uma frase com um sentido completo”. Essa definição refere-se a que? 
Proposição. 
P). Determinar o valor logico (V ou F) da seguinte proposição:
Se 3 + 2 = 6, então 4 + 4 = 9; 
p = 3+2 =6 (F)
q = 4+4 = 9 (F)
p q 
F F = V 
P). São dadas as seguintes proposições.
I – Se Jaime trabalha no Tribunal de Contas, então é eficiente. 
II – Se Jaime não trabalhar no Tribunal de Contas, então ele não é eficiente.
III – Não é verdade que Jaime trablha no Tribunal de Contas e não é eficiente.
IV – Jaime é eficiente ou não trabalha no Tribunal de Contas.
Quais das proposições são logicamente equivalentes?
p = trabalha no tribunal
q = é eficiente
I = p -> q
II = ~p -> ~q
III = ~p ^ ~q
IV = q ou ~p 
II e IV são proposições logicamente equivalentes. 
P). Dado um conjunto V={a,e,i,o,u}, qual o resultado da expressão “b V”? Explique.
É uma expressão verdadeira, significando que b não pertence ao conjunto V. 
P). Considere as afirmações a, b e c, que seguem:
A) Chama-se de ____________ toda proposição composta em cuja ultima coluna da sua tabela verdade encerra somente a letra F (falso)
B) Chama-se de _____________ toda proposição composta em cuja ultima coluna da sua tabela verdade encerra somente a letra V (verdadeiro)
C) Chama-se de __________ toda proposição composta em cuja ultima coluna da sua tabela verdade encerra as letras V e F, cada uma pelo menos uma vez. 
A – Contradição
B – Tautologia
C – Contingencia. 
P). Cite e justifique o resultado da tabela verdade a seguir: 
Toda proposição composta ligada pelo conectivo e (^), só é verdade quando ambas as proposições simples componentes forem verdade. 
P). Veja o argumento a seguir:
Se Ana cometeu um crime perfeito, então Ana não é suspeita, mas (e) Ana não cometeu um crime perfeito, então Ana é suspeita.
Esse argumento é valido? 
A: Ana cometeu um crime perfeito
B: Ana é suspeita
Segundo o enunciado, (A → ¬B) é verdade. 
Para que isso aconteça, existem 3 possíveis ocorrências.
(i) A é verdadeiro e B é falso
(ii) A é falso e B é falso
(iii) A é falso e B é verdadeiro
Ao aplicar a possibilidade II em (¬A → B) resulta em falso, ou seja o argumento não é valido. 
P). Supondo que: P(x) = x | 12 e Q(x) = X | 45, para (conjunto dos números naturais), qual o conjunto verdade para P(x) Q(x) ?
aaaaaaaaa. 
COLA
7. Para se saber se um argumento e valido ou não valido, dependendo do numero de proposições simples que o compõem, pode-se analisar a sua condicional associada através da tabela-verdade 
B)- p ? r |- p (SIMP); p -> q . p |- q (MP) (CORRETA) 
11. Uma relação de implicação logica e utilizada quando se quer mostrar que a verdade de uma conclusão Q esta associada a verdade de uma hipótese I - p <-> q => p -> q II - (p -> q) n p => q III - (p -> q) n ~q => ~p 
D)- I, II, II e IV (CORRETA) 
13. O uso de parêntese na simbolização de proposições compostas e de extrema importância... Respectivamente, os valores lógicos das proposições... 
C)- V,F,V (CORRETA) 
15. Proposições simples ou atômicas são aquelas que não podem ser divididas... São exemplos de proposições compostas as expressões 
D)- I e III (Correta) 
21. Uma maneira de fazer a negação de uma proposição com qualificadores e utilizar... Se a afirmação "Todas as frutas são doces" e verdadeira 
D)- algumas frutas não são doces (CORRETA) 
23. Conectivos são palavras usadas para formar proposições compostas a partir de proposições simples. um dos princípios fundamentais... 
D)- Se o valor logico da proposição p e falso e da prosicao q é verdadeiro então a disjunção entre p e q tem valor falso (CORRETA) 
26. Em logica um argumento e um conjunto sequenciado...Portanto um argumento e INVALIDO se não houver de... 
A)- As duas afirmações são proposições verdadeiras e a segunda e... (CORRETA) 
25. Para validar um argumento e necessário saber sua forma. O estudo da logica 
não se preocupa se as premissas e a conclusão são verdadeiras ou falsas... P1: Se Mário vai ao cinema então Paula fica em casa P2: Se Paula não fica em casa, então Ana vai trabalhar P3: ou Ana não vai trabalhar ou Carlos vai viajar P4: Carlos não vai viajar Logo, para um argumento VALIDO pode-se concluir que?
 D)- Paula ficou em casa (CORRETA) 
27. As regras de inferência são formas elementares de argumentos que podem... Sejam as premissas de um argumento "se Joao almoçar, então ira para escola... 
D)- Logo, Joao foi para a escola (CORRETA) 
 Questões Discursivas: 
Questão 2 – Um argumento é composto de duas partes principais: Antecedente (constituído em premissas do argumento) e a conclusão. A relação entre a conclusão e as premissas é chamada de inferência........................ Seja o argumento: p^q, pVrS /--p^s , provar através das regras de inferência que ele é válido: 
Resposta: 
 
Questão 3 – Em sentenças abertas sempre temos um valor desconhecido, isto faz com que não seja possível determinar o valor lógico da expressão, verdadeiro ou falso. O conjunto verdade de uma sentença................ Escreva o conjunto verdade da sentença aberta: “2x + y = 10”. 
Resposta: 
 
Questão 4 – Um argumento é um conjunto de afirmações dadas em uma sequencia finita de premissas, que tem como consequência uma conclusão. Um argumento é.......... Analise o argumento abaixo e verifique se é válido ou um sofisma “Se Paulo for a faculdade, Luís ficará em casa. Luís não ficou em casa. Logo Paulo, não foi a faculdade” 
Resposta

Outros materiais