14978009
Description
Flashcards by Bruna_ Concursada, updated more than 1 year ago
|
|
Created by Bruna_ Concursada
about 6 years ago
|
|
| Question | Answer |
| ANÁLISE DE ARGUMENTO LÓGICA DE PRIMEIRA ORDEM | Uma das técnicas de análise de argumento na lógica de primeira ordem é a análise por tablôs. Um argumento é válido quando todos os ramos do tablô se fecham. Qual é a base central para abrir ou fechar um ramo de tablô? Justamente o princípio da não contradição. Sempre que um ramo contempla algo contraditório (exemplo: p é Verdadeiro, p é Falso), o ramo se fecha. Enfim, o princípio da não contradição tem papel central na lógica de proposições e evita que cheguemos a conclusões contraditórias. |
| PRINCÍPIOS DA LÓGICA CLÁSSICA | Os princípios da lógica clássica são: Princípio da Identidade - uma proposição é igual a si mesma Princípio da Não Contradição - uma proposição "p" não pode ser verdadeira e falsa ao mesmo tempo. Princípio do Terceiro Excluído - uma proposição "p" pode ser V ou F, não havendo um terceiro valor lógico possível. |
| SENTENÇAS QUE NÃO SÃO PROPOSIÇÕES | As sentenças abertas não são proposição!... Ex.: Ela é muito bonita. Esse é um exemplo de sentença aberta, pois não sabemos quem é ela... Caso fosse: Gisele é muito bonita. Aí, sim! Saberíamos de quem estamos falando (sentença fechada = proposição) e, poderíamos classificá-la em verdadeiro ou falso. E, também não são proposição: Sentenças interrogativas; Sentenças exclamativas; Sentenças imperativas (ordem). |
| REGRAS DE INFERÊNCIA [Argumentos] | WIKIPÉDIA - Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento. Um conjunto de regras pode ser usada para inferir qualquer conclusão válida, se esta conclusão for completa. Entretanto nunca se pode inferir uma conclusão inválida, se isto for assegurado. As regras de inferência são regras básicas para demonstrar a validade de um argumento. Uma das regras é a Modus Ponens. |
| PROPOSIÇÕES 1 [Simples ou Compostas] | A lógica procura representar, numa linguagem exata, informações e relações entre elementos. O que define se uma proposição é simples ou composta é o mapeamento sobre quais indivíduos pretendemos fazer afirmações. |
| PROPOSIÇÕES 2 [Simples ou Compostas] | A negação da negação de uma proposição é a própria proposição: Dessa forma, p e ¬(¬p) possuem o mesmo valor lógico, ou seja, são equivalentes! pois tanto p quanto ¬(¬p) são proposições simples. |
| PROPOSIÇÕES 3 [Simples ou Compostas] | Uma proposição composta pode ser: Tautologia, quando sua tabela verdade apresenta apenas valor lógico V. Contradição, quando sua tabela verdade apresenta apenas valor lógico F. Contingência ou indeterminação, quando sua tabela verdade apresenta tanto valor V quanto F Veja que tudo isso se aplica a proposições compostas, o que não é o caso de p, nem de ¬(¬p). |
Want to create your own Flashcards for free with GoConqr? Learn more.