O Argumento P Q P Q R S S R R

as proposições: p: Está frio q: Está chovendo. Traduzir para linguagem corrente as seguintes proposições: 1 ~ p Não está frio. 2 p ^ q Está frio e está chovendo. 3 p v q Está frio ou está chovendo. 4 q ↔ p Está chovendo se e somente se está frio. 5 p ↔ ~ q Está frio se e somente se não está chovendo. 6 p v ~ q Está frio ou não está chovendo. 7 ~ ~ p Não não está frio. (Está frio). Exercício 0.4. Traduzir para a linguagem simbólicas as seguintes proposições: p: Marcos é alto; q: Marcos…

Vieira Valor: 2,0 pts Aluno (a): _____________________________ Data: 04/04/2012 3º Atividade Avaliativa de Lógica 1ª) Sabendo que V[p] = V[r] = V e V[q] = V[s] = F, determinar o valor lógico (V ou F) de cada proposição a seguir: a) ¬(p ∧ q) ↔ r ∧ ¬ s b) ¬p ∧ (q → p) → s ↔ r c) (¬p → ¬ r) → ( p → ¬ r) 2ª) Prove a veracidade dos seguintes argumentos por dedução: a) Se o conhecimento não for possível e tudo for uma ilusão, a filosofia é inútil. Se a filosofia for inútil, Platão…

possibilidade de ser considerada ao mesmo tempo verdadeira e falsa. 3 - Um argumento é uma construção cujos elementos são proposições, em que existe uma conclusão que é sustentada por uma ou mais premissas. 4 - Argumentar significa garantir a verdade da conclusão tendo por base a verdade das premissas. 5 - Um argumento não pode ser considerado verdadeiro ou falso. Verdadeiras ou falsas são as premissas e a conclusão. Um argumento é válido ou não válido, coerente ou não coerente,…

inferência. Argumentos, representam um conhecimento especifico que necessita ser validado. As regras de inferência são argumentos validos simples, que podem ser demonstrados por tabela verdade. Necessita-se estar bem fixado que as regras, quando apresentadas, serão representada usando letras do alfabeto grego, como α, β, δ, χ. Essas letras serão utilizadas para representar tanto proposições simples quanto as mais complexas, como um simples “p” ou uma formula mais complexa “ (p ^ q)…

exercícios Nome: RA.: Curso: Campus: Sala: Determinar a ligação dos seguintes circuitos: 1) 2) 3) 4) 5) 6) 7) 8) Desenhar os circuitos cujas ligações são dadas pelas expressões: 9) p   p'q  p  10) x  y'  x' y  11) p  q  r  12) m   p'q'r ' 13) m  n  p  q 14) x  y   x' z  Determinar o valor lógico de cada uma das seguintes proposições (0 e 1): 15) O n° 17 é primo. 16) Fortaleza é a capital do Maranhão. 17) Tiradentes morreu…

GABARITO Exercícios da Relação de Equivalência (() 1. Demonstre, utilizando tabelas-verdade, as seguintes relações de equivalência: a) p ( ( p ( q ) ( p (equivalentes) b) p ( ( p ( q ) ( p (equivalentes) c) ( p ( q ) ( ( p ( r ) ( p ( p ( r (não equivalentes) d) p ( q ( ( p ( q ) ( ~( p ( q ) (equivalentes) 2. Negue em linguagem corrente as seguintes proposições: a) Atlético é alvi-verde e Coritiba é rubro-negro. Atlético não é alvi-verde ou Coritiba é…

proposições compostas. Verifique se alguma das proposições compostas é uma tautologia ou uma contradição. p: Veículos se movem. q: Veículos tem hélices. r: Veículos tem rodas. s: Automóveis são veículos. u: Aviões são veículos. x: Barcos se movem. a) p ^ ( q v r ) b) ( s ^ ~q ) -> r c) ( x ^ ~r ^ q ) -> p d) (q ^ s ) -> s e) (p ^ ~r ) -> q v x Exercício II – Tomando ainda as proposições de “p” até “x” do Exercício I, diga quais são as regras de inferência…

dizer que se tem acima um argumento lógico, formado por três proposições categóricas (estas têm a presença das palavras Todo, Algum e Nenhum), as duas primeiras serão denominadas premissas e a terceira é a conclusão. Observe que as três proposições são totalmente falsas, mas é possível comprovar que a conclusão é uma consequência lógica das premissas, ou seja, que se considerar as premissas como verdadeiras, a conclusão será, por consequência, verdadeira, e este argumento será…

1ª DIVISÃO POR ARGUMENTO P: Rodolfo é mais alto que Guilherme Q: Heloísa e Flávia têm a mesma altura R: Alexandre é mais baixo que Guilherme S: Rodolfo é mais alto que Heloísa Afirmação: Rodolfo não é mais alto que Heloísa Fase: (p->q) ->(q->r)->(r->s)->s’ Logo a única maneira de termos ~s e escrevendo e negando a frase (p’->q’) ->(q’->r’)->(r’->s’)->s’ Conclusão P: Rodolfo NÃO é mais alto que Guilherme (F) Q: Heloísa e Flávia…

de Perícias de Informática e Telecomunicações - SBPIT. Dados Internacionais de Catalogação na Publicação (CIP) M385 Martinez, Angel Antonio Gonzales Lógica. / Angel Antonio Gonzales Martinez; Ákio Nogueira Barbosa. - São Paulo: Editora Sol. 136 p. il. Nota: este volume está publicado nos Cadernos de Estudos e Pesquisas da UNIP, Série Didática, ano XVII, n. 2-025/11, ISSN 1517-9230. 1.Proposições 2.Argumentação 3.Predicados I.Título CDU 161/162 © Todos os direitos reservados. Nenhuma parte