Lógica/Cálculo Proposicional Clássico/O que é o Cálculo Proposicional Clássico: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 22:
===Proposições===
Proposições são estruturas lingüísticas passíveis de serem julgadas verdadeiras ou falsas, tais como “Todos homens são mortais”, “Sócrates é homem”, “A água sob uma atmosfera ferve a 100°C”, “Siegfrid matou Fafnir”, “2 + 2 = 4” etc. Não são proposições as estruturas lingüísticas interrogativas (ex: “Quem é você?”) ou imperativas (ex: “Faça isto”), pois elas não são passíveis de serem julgadas verdadeiras ou falsas. É isso mesmo.
===Termos, Operadores, Conectivos e Valorações===
| |||