A lógica formal não se ocupa com os conteúdos pensados ou com os objetos referidos pelo pensamento, mas apenas com a forma pura e geral dos pensamentos, expressa pela linguagem.
Sentenças
As características básicas das sentenças são:
- um pensamento completo;
- Composta por um sujeito (algo que se declara) e por um predicado (aquilo que se declara sobre o sujeito).
Tipos de Sentenças
Afirmativas
João foi comprar pão.
Negativas
Maria não gosta de queijo.
Imperativas
Estude muito.
Exclamativas
Como você está linda!
Interrogativas
Onde você vai?
Sentenças Abertas
São sentenças nas quais não podemos determinar o sujeito. Uma forma simples de identificá-las é o fato de que não podem ser nem Verdadeiras ou Falsas.
Aquele atirador errou todos os alvos.
X + Y + Z = 32.
Sentenças Fechadas
Já neste tipo de sentença, conseguimos determinar o sujeito e valorá-la com Verdadeiro ou Falso.
Proposições
São as sentenças afirmativas ou negativas formada por palavras ou símbolos que expressam um pensamento de sentido completo, podendo atribuir um valor lógico, uma valoração, ou seja, Verdadeiro ou Falso.
O céu é azul.
Amanhã vai chover.
João foi comprar pão.
Conectivos Lógicos
Conectivos lógicos são palavras usadas para conectar as proposições formando novas sentenças.
Os principais conectivos lógicos são:
Conectivos Lógicos
Princípios Fundamentais da Lógica Proposicional
- O princípio de Identidade – Afirma que se qualquer enunciado é verdadeiro, então ele é verdadeiro.
- O princípio da Não Contradição – Afirma que nenhum enunciado pode ser verdadeiro e falso.
- O princípio do Terceiro Excluído – Afirma que um enunciado ou é verdadeiro ou é falso.
Tabelas-Verdade
Tabelas-Verdade
Disjunção Exclusiva
Diego Macêdo
Sou bacharel em Sistemas de Informação pela Estácio de Sá (Alagoas), especialista em Gestão Estratégica da Tecnologia da Informação pela Univ. Gama Filho (UGF) e pós-graduando em Gestão da Segurança da Informação pela Univ. do Sul de Santa Catarina (UNISUL). Certificações que possuo: EC-Council CEH, CompTIA (Security+, CySA+ e Pentest+), EXIN (EHF e ISO 27001), MCSO, MCRM, ITIL v3. Tenho interesse por todas as áreas da informática, mas em especial em Gestão e Governança de TI, Segurança da Informação e Ethical Hacking.
Muito bom !!!!
Olá Diego, Estou estudando lógica e vi seu post. Muito bom e interessante!!!
Vi você comentando sobre lógica de primeira ordem e postou um material explicando (muito bom por sinal). O que podemos dizer então que é lógica de segunda ordem?
O concurso que estou estudando diz: Proposições Abertas (de primeira ordem e de segunda ordem). Estou meio perdida para encontrar esse material. Você pode me ajudar??
Sinceramente até onde eu sei a lógica de proposições abertas seria a de primeira ordem. Talvez a de segunda ordem seja relativo a indução e dedução. Talvez isto te ajude: http://pt.wikipedia.org/wiki/Lógica_de_ordem_superior
http://pt.wikipedia.org/wiki/Lógica_de_segunda_ordem
Valeu pela iniciativa, está de parabéns!
Quando falamos de Lógica de Primeira Ordem estamos nos referindo aos tipos de sentença Proposições, Conectivos Lógicos, Princípios Fundamentais e Tabelas-Verdade?
Se puder responder minha pergunta agradeço.
Abraço.
A linguagem da l ?ogica de primeira ordem é mais expressiva que a linguagem da lógica proposicional.
Mais detalhes: http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap3.1.pdf
Muito bom achar esse post. Estava desesperada. Lógica e mandarim para mim são as mesmas coisas.
Já vi que seu blog é um ótimo refúgio para concursandos
Olá Diana, primeiramente muito obrigado pelo elogio. Fico feliz que tenha gostado. E quanto ao meu blog ser um refúgio para concursando, isso eu nem sei te afirmar, mas eu posto muitas coisas de concursos, afinal eu também sou um concursando por enquanto. Espero realmente ter ajudado e fico a disposição para discutir qualquer questão de lógica.
Em breve postarei mais assuntos sobre a disciplina.
Abraços!