Title | Tabela logica verdade |
---|---|
Course | Lógica E Álgebra Relacional |
Institution | Universidade de Mogi das Cruzes |
Pages | 4 |
File Size | 202.7 KB |
File Type | |
Total Downloads | 26 |
Total Views | 157 |
tabela logica verdade...
CLARETIANO FILOSOFIA
Ketti Torino Lisboa RA 1161782 2º semestre
LÓGICA II
Profº Luís Geraldo da Silva Portfólio 2º Ciclo 7ª semana
Mogi das Cruzes 2015
1) Represente os argumentos na forma simbólica e analise sua validade na Tabela Verdade: a) Sócrates é grego ou alemão? Sócrates não é alemão. Logo, Sócrates é grego. P q ~p p v q q ^ p ( p v q ) -> ~ p
P ~ ^q P~q Pvq
b) Se chover, não vou ao clube. Está chovendo. Logo, não vou ao clube. P v~q Pvq P~q
2) Represente e analise a validade na Tabela Verdade: a) (p ^ q) ∨ (~q) b) (r ∧ s) ∧ (r ~s)
?????? Ele viajou para a praia ou para o sítio. Ele não viajou para a praia. Portanto, ele viajou para o sítio.
.
3) Analise a questão a seguir, adaptada do Enade (Exame Nacional de Desempenho dos Estudantes), e justifique se a afirmação está correta.
Considere que “¬”, “^” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”) e condicional material (“se..., então...”) e que “p” e “q” são variáveis proposicionais. Ao se empregar os procedimentos da tabela verdade pode-se concluir que a fórmula “(p → q) → ¬ (p ^ ¬ q)” tem a forma tautológica. Não , ....