Escolar Documentos
Profissional Documentos
Cultura Documentos
Teses e
argumentos
Uma tese é uma proposta de solução para uma questão em aberto, Uma proposição é o pensamento, verdadeiro ou falso,
as teses podem ser verdadeiras ou falsas. Defender uma tese é literlalmente expreso por uma frase declarativa.
apresentar argumentos a seu favor. As proposições pode ser verdadeiras ou falsas. O valor de verdade
Um argumento é um conjunto de proposições em que se pretende ou a ralsidade de u aproposição é a verdade ou a falsiade dessa
justificar ou defender uma delas, a conclusão, com base na outra ou proposição. Apenas as frases declarativas servem para expressar
nas outras, que se chamam premissas. proposições.
São indicadores de premissa: “porque, uma vez que, em Um conjunto de preposições é consistente quando todas as
decorrência de, em vista de, pois, etc ”. proposições que o compõem podem ser simultaneamente
São indicadores de conclusão: “ portanto, logo, assim, decorre de, verdadeiras.
seguir-se-á, em consequência de, por conseguinte, etc ”. Inversamente :
Um conjunto de proposições é inconsistente quando as proposições
que o compõem não podem ser todas simultaneamente verdadeiras.
Teses e
argumentos
Argumentos
Dedutivos : o que se pretende é que Não-dedutivos : o que se pretende é que
as premissas garantam a conclusão. as premissas apoiem a conclusão.
Condicional «Se...,então...» →
Conjunção Formalização
«...mas...também...»
∧
(P Q)
Expressões alternativas «Tanto...como...»
«Embora...»
Lógica proposicional clássica
Negação Formalização
¬P
«Não é verdade que...»
Expressões alternativas «É falso que..»
«i-, in-, im-»
Lógica proposicional clássica
(P V Q)
Expressões alternativas «...ou...ou...»
Lógica proposicional clássica
Condicional Formalização
«...se...» (P → Q)
«...desde que...»
Expressões alternativas «...só se...»
«Sempre que...»
«...não...menos que...»
Lógica proposicional clássica
Bicondicional Formalização
(P ↔ Q)
«...se, e somente se...»
Expressões alternativas
«Se... então... vice-versa»
Lógica
proposicional ∴ - Logo
clássica
O operador principal (ou com maior
âmbito) é o operador que se aplica a
toda a proposição.
Funções de verdade e
tabelas de verdade
P Q
V F Só P é verdadeira
F V Só Q é verdadeira