Lógica de Argumentação. Diagramas Lógicos Flashcards
TODO A É B
A é subconjunto de B
A é parte de B
A está contido em B
B contém A
B é universo de A
B é superconjunto de A
Nenhum A é B
Nenhum B é A
Todo A não é B
Todo B não é A
A é B são conjuntos distintos
Não podemos ter argumentos válidos com premissas verdadeiras e conclusão falsa!!!
Um argumento é válido se, e só se, não for possível ter conclusão falsa e premissas verdadeiras.
Portanto, para termos um argumento válido devemos supor que as premissas são verdadeiras. Se (e este é um grande se) as premissas forem verdadeiras, então a conclusão também será.
Quando é que uma disjunção (proposição composta pelo conectivo ou) P v Q é verdadeira? Se ao menos uma das proposições P ou Q é verdadeira; P v Q é falsa se e somente se ambas P e Q são falsas.
SILOGISMOS CATEGÓRICOS
A: para representar a proposição universal afirmativa (Toda mulher é bela)
E: Para representar a proposição universal negativa (nenhuma mulher é bela)
I: para representar a proposição particular afirmativa (alguma mulher é bela)
O: para representar a proposição particular negativa (alguma mulher não é bela)
De duas premissas negativas nada se conclui.
De duas premissas afirmativas não se pode tirar uma conclusão negativa.
De duas premissas particulares (algum, existe, etc) nada se conclui.
- o sujeito da conclusão é o termo menor do silogismo
- o predicado da conclusão é o termo maior do silogismo
- o terceiro termo, cuja função é a de estabelecer um vínculo entre o termo menor e o termo maior, é chamado de termo médio.
- a premissa que contém o termo maior chama-se premissa maior. Por convenção, sempre colocamos a premissa maior em primeiro lugar
- em segundo lugar, colocamos a premissa menor, que é a premissa que contém o termo menor
- a conclusão, que envolve o termo menor e o termo maior (não envolve o termo médio), é mencionada por último.
Existem apenas 4 figuras possíveis para o silogismo categórico:
- no silogismo de primeira figura, o termo médio é sujeito na maior e predicado na menor
- no silogismo de segunda figura, o termo médio é predicado na maior e na menor
- no silogismo de terceira figura, o termo médio é sujeito na maior e na menor
- no silogismo de quarta figura, o termo médio é predicado na maior e sujeito na menor
Para que uma proposição composta pelo conectivo “se…então “ seja verdadeira não pode haver VF. Se a segunda proposição (consequente) é verdadeira, o antecedente pode ser verdadeiro ou pode ser falso.