Elementos de Lógica Formal

ELEMENTOS DE LÓGICA
FORMAL
PROFESSOR REGINALDO SIMÕES
TERMO E PROPOSIÇÃO
QUALIDADE
• AS PROPOSIÇÕES PODEM SER AFIRMATIVAS OU

NEGATIVAS.
• TODO C É M.
• NENHUM C É M.
QUANTIDADE
• GERAIS: (UNIVERSAIS OU TOTAL).
• TODO C É M.
• PARTICULARES:
• ALGUM C É M.
• SINGULARES:
• ESTE C É M.
EXEMPLOS
• TODO CÃO É MAMÍFERO: PROPOSIÇÃO

UNIVERSAL AFIRMATIVA.
• NENHUM ANIMAL É MINERAL: PROPOSIÇÃO
UNIVERSAL NEGATIVA.
• ALGUM METAL NÃO É SÓLIDO: PROPOSIÇÃO
PARTICULAR NEGATIVA.
• SÓCRATES É MORTAL: PROPOSIÇÃO SINGULAR
EXTENSÃO DOS TERMOS
• COLEÇÃO DE TODOS OS SERES QUE O TERMO DESIGNA NO

CONTEXTO DA PROPOSIÇÃO.
• EXEMPLOS:
• A FLOR: TOTALIDADE DAS FLORES.
• ALGUMA FLOR.
• ESTA FLOR.
DIAGRAMAS DE VENN
EULER
TODO PAULISTA É BRASILEIRO
NENHUM BRASILEIRO É ARGENTINO
ALGUM PAULISTA É SOLTEIRO
ALGUMA MULHER NÃO É JOVEM
COLOQUE NO DIAGRAMA DE VENN EULER
• TODO GOIANO É BRASILEIRO.
• NENHUM TURISTA É POBRE.
• ALGUM MOTOCICLISTA USA CAPACETE.
• ALGUM JOVEM NÃO É SIMPÁTICO.

QUADRADO DE
OPOSIÇÕES
QUADRADO DE OPOSIÇÕES LÓGICAS
CONTRÁRIAS (A E E)
• NÃO PODEM SER AMBAS VERDADEIRAS; MAS PODEM SER

AMBAS FALSAS.
• SE “TODO F É G” FOR VERDADEIRA, “NENHUM F É G” SERÁ

FALSA;
• “TODO F É G” E “NENHUM F É G” PODEM SER AMBAS FALSAS.

SUBCONTRÁRIAS (I E O)
• NÃO PODEM SER AMBAS FALSAS; AMBAS PODEM SER

VERDADEIRAS; UMA PODE SER VERDADEIRA E A OUTRA FALSA.
• “ALGUM F É G” E “ALGUM F NÃO É G” PODEM SER VERDADEIRAS.
• SE “ALGUM F E G” É FALSA; ENTÃO ALGUM F NÃO É G É

VERDADEIRA.
SUBALTERNAS (A E I) (E E O)
• SE A É VERDADEIRA, I É VERDADEIRA; SE A É FALSA, I PODE SER
VERDADEIRA OU FALSA.
• SE I É VERDADEIRA, A PODE SER VERDADEIRA OU FALSA; SE I É

FALSA, A É FALSA.
• SE E É VERDADEIRA, O É VERDADEIRA; SE E É FALSA, O PODE SER

VERDADEIRA OU FALSA.
CONTRADITÓRIAS (A E O) E (E E I)
• NÃO PODEM SER AMBAS VERDADEIRAS OU

AMBAS FALSAS.
• SE CONSIDERARMOS VERDADEIRA A
PROPOSIÇÃO “TODO F É G”; “ALGUM F NÃO É G”
SERÁ FALSA.
PRINCÍPIOS DA LÓGICA
REGINALDO SIMÕES
PRINCÍPIO DE IDENTIDADE
• SE UM ENUNCIADO É VERDADEIRO, ENTÃO ELE É

VERDADEIRO.
PRINCÍPIO DE NÃO CONTRADIÇÃO
• DUAS PROPOSIÇÕES CONTRADITÓRIAS NÃO

PODEM SER AMBAS VERDADEIRAS;
• SE FOR VERDADEIRO QUE “ALGUNS SERES

HUMANOS NÃO SÃO JUSTOS” É FALSO QUE
“TODOS OS SERES HUMANOS SÃO JUSTOS”.
PRINCÍPIO DE TERCEIRO EXCLUÍDO
• TODO ENUNCIADO É VERDADEIRO OU FALSO; NÃO HÁ

UM TERCEIRO VALOR.
• OU P OU NÃO P.
• NÃO HÁ PROPOSIÇÕES MEIO CERTAS OU MAIS OU MENOS

CERTAS.

Elementos de Lógica Formal

Enviado por

Direitos autorais:

Formatos disponíveis

Elementos de Lógica Formal

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Elementos de Lógica Formal

Enviado por

Direitos autorais:

Formatos disponíveis

ELEMENTOS DE LÓGICA

• AS PROPOSIÇÕES PODEM SER AFIRMATIVAS OU

• TODO CÃO É MAMÍFERO: PROPOSIÇÃO

• COLEÇÃO DE TODOS OS SERES QUE O TERMO DESIGNA NO

• NENHUM TURISTA É POBRE.

• ALGUM MOTOCICLISTA USA CAPACETE.

• ALGUM JOVEM NÃO É SIMPÁTICO.

• NÃO PODEM SER AMBAS VERDADEIRAS; MAS PODEM SER

• SE “TODO F É G” FOR VERDADEIRA, “NENHUM F É G” SERÁ

• “TODO F É G” E “NENHUM F É G” PODEM SER AMBAS FALSAS.

• NÃO PODEM SER AMBAS FALSAS; AMBAS PODEM SER

• “ALGUM F É G” E “ALGUM F NÃO É G” PODEM SER VERDADEIRAS.

• SE “ALGUM F E G” É FALSA; ENTÃO ALGUM F NÃO É G É

• SE I É VERDADEIRA, A PODE SER VERDADEIRA OU FALSA; SE I É

• SE E É VERDADEIRA, O É VERDADEIRA; SE E É FALSA, O PODE SER

• NÃO PODEM SER AMBAS VERDADEIRAS OU

• SE UM ENUNCIADO É VERDADEIRO, ENTÃO ELE É

• DUAS PROPOSIÇÕES CONTRADITÓRIAS NÃO

• SE FOR VERDADEIRO QUE “ALGUNS SERES

• TODO ENUNCIADO É VERDADEIRO OU FALSO; NÃO HÁ

• NÃO HÁ PROPOSIÇÕES MEIO CERTAS OU MAIS OU MENOS

Você também pode gostar