Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas: mudanças entre as edições
imported>He7d3r.bot m (Não é mais preciso inserir a navegação manualmente, basta manter a lista de capítulos do livro atualizada. Ver detalhes.) |
imported>Abacaxi Sem resumo de edição |
||
Linha 1: | Linha 1: | ||
==[[Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas#Exercícios|Resolução]]== | |||
====1==== | |||
''"Não está chovendo"''. | |||
<math>\neg C</math> | |||
<div align="center"> | <div align="center"> | ||
{|style="background-color: #F8F8F8; border: 1px solid #888;" | {|style="background-color: #F8F8F8; border: 1px solid #888;" | ||
|style="background-color: #DEE;" |'''C''' | |style="background-color: #DEE;" |'''C''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬C''' | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|} | |} | ||
</div> | </div> | ||
====2==== | |||
''"Russell desenvolveu a teoria das descrições e Gödel é matemático"''. | |||
<math>A\land B</math> | |||
<div align="center"> | <div align="center"> | ||
Linha 235: | Linha 29: | ||
|style="background-color: #DEE;" |'''B''' | |style="background-color: #DEE;" |'''B''' | ||
|style="background-color: #DEE;" |'''A∧B''' | |style="background-color: #DEE;" |'''A∧B''' | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
Linha 243: | Linha 35: | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
Linha 249: | Linha 40: | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
Linha 259: | Linha 48: | ||
</div> | </div> | ||
====3==== | |||
''"Russell desenvolveu a teoria das descrições ou Gödel não é matemático"''. | |||
==== | |||
<math>A\lor \neg B</math> | |||
<div align="center"> | <div align="center"> | ||
Linha 298: | Linha 58: | ||
|style="background-color: #DEE;" |'''A''' | |style="background-color: #DEE;" |'''A''' | ||
|style="background-color: #DEE;" |'''B''' | |style="background-color: #DEE;" |'''B''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬B''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''A∨¬B''' | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
Linha 389: | Linha 83: | ||
</div> | </div> | ||
====4==== | |||
''"Se Gödel é matemático, então está chovendo"''. | |||
<math>B\to C</math> | |||
<div align="center"> | <div align="center"> | ||
{|style="background-color: #F8F8F8; border: 1px solid #888;" | {|style="background-color: #F8F8F8; border: 1px solid #888;" | ||
|style="background-color: #DEE;" |'''B''' | |style="background-color: #DEE;" |'''B''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''C''' | ||
|style="background-color: #DEE;" |'''B'''→'''C''' | |||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
Linha 418: | Linha 104: | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|} | |} | ||
</div> | </div> | ||
==== | ====5==== | ||
''"Se não está chovendo, então Gödel não é matemático"''. | |||
<math>\neg C\to \neg B</math> | |||
<math> | |||
<div align="center"> | <div align="center"> | ||
{|style="background-color: #F8F8F8; border: 1px solid #888;" | {|style="background-color: #F8F8F8; border: 1px solid #888;" | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''C''' | ||
|style="background-color: #DEE;" |'''B''' | |style="background-color: #DEE;" |'''B''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬C''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬B''' | ||
|style="background-color: #DEE;" |'''¬C'''→'''¬B''' | |||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|} | |} | ||
</div> | </div> | ||
=== | ====6==== | ||
''"Nem está chovendo, nem Russell desenvolveu a teoria das descrições". | |||
<math>\neg C \land \neg A</math> | |||
<div align="center"> | <div align="center"> | ||
{|style="background-color: #F8F8F8; border: 1px solid #888;" | {|style="background-color: #F8F8F8; border: 1px solid #888;" | ||
|style="background-color: #DEE;" |'''C''' | |style="background-color: #DEE;" |'''C''' | ||
|style="background-color: #DEE;" |'''A''' | |style="background-color: #DEE;" |'''A''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬C''' | ||
|style="background-color: #DEE;" |'''¬A''' | |||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬C'''∧'''¬A''' | ||
|style="background-color: #DEE;" |''' | |||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
Linha 740: | Linha 181: | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|} | |} | ||
Linha 810: | Linha 195: | ||
====7==== | |||
''"Russell não desenvolveu a teoria das descrições se e somente se está chovendo"''. | |||
<math>\neg A\leftrightarrow C</math> | |||
<div align="center"> | <div align="center"> | ||
{|style="background-color: #F8F8F8; border: 1px solid #888;" | {|style="background-color: #F8F8F8; border: 1px solid #888;" | ||
|style="background-color: #DEE;" |'''A''' | |style="background-color: #DEE;" |'''A''' | ||
|style="background-color: #DEE;" |'''C''' | |style="background-color: #DEE;" |'''C''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬A''' | ||
|style="background-color: #DEE;" |''' | |style="background-color: #DEE;" |'''¬A'''↔'''C''' | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|- | |- | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|style="background-color: #DDD;" |V | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
Linha 880: | Linha 228: | ||
|} | |} | ||
</div> | </div> | ||
{{AutoCat}} | {{AutoCat}} |
Edição das 20h06min de 20 de fevereiro de 2013
Resolução
1
"Não está chovendo".
C | ¬C |
V | F |
F | V |
2
"Russell desenvolveu a teoria das descrições e Gödel é matemático".
A | B | A∧B |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
3
"Russell desenvolveu a teoria das descrições ou Gödel não é matemático".
A | B | ¬B | A∨¬B |
V | V | F | V |
V | F | V | V |
F | V | F | F |
F | F | V | V |
4
"Se Gödel é matemático, então está chovendo".
B | C | B→C |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
5
"Se não está chovendo, então Gödel não é matemático".
C | B | ¬C | ¬B | ¬C→¬B |
V | V | F | F | V |
V | F | F | V | V |
F | V | V | F | F |
F | F | V | V | V |
6
"Nem está chovendo, nem Russell desenvolveu a teoria das descrições".
C | A | ¬C | ¬A | ¬C∧¬A |
V | V | F | F | F |
V | F | F | V | F |
F | V | V | F | F |
F | F | V | V | V |
7
"Russell não desenvolveu a teoria das descrições se e somente se está chovendo".
A | C | ¬A | ¬A↔C |
V | V | F | F |
V | F | F | V |
F | V | V | V |
F | F | V | F |