Prévia do material em texto
Curso de Raciocínio Lógico Linguagem da lógica formal e Tabelas-verdade. Professor Josimar Padilha Nessa aula iremos abordar os seguintes assuntos: - Linguagem da Lógica Formal. - Construção e aplicações das tabelas-verdade dos operadores: conjunção, disjunção inclusiva, disjunção exclusiva, condicional, bicondicional e negação. As tabelas-verdade apresentam as possíveis interpretações para uma proposição simples ou composta, sabendo que na lógica bivalente as valorações possíveis, valores lógicos, que nós temos são: (V): verdade ou ( F): falso Curiosidade! Linguagem da lógica formal? ...Você sabia que este assunto tem sido explorado por lógicos e matemáticos desde os tempos de Aristóteles, mas tomou rumos fascinantes principalmente a partir dos escritos de Frege no século XIX. Quando surgiram as primeiras linguagens formais (Frege, Peano, Russell, Carnap), o ponto de vista dos estudiosos era basicamente “realista” e “normativo”. 01. CONJUNÇÃO: “ e, mas, tanto como” símbolo: ˄ Proposição composta formada por duas proposições quaisquer que estejam ligadas (operadas) pelo conectivo "e". Exemplo: OPERADORES OU CONECTIVOS LÓGICOS 02. DISJUNÇÃO INCLUSIVA: “ OU ” símbolo:˅ Disjunção inclusiva, que é uma proposição composta formada por duas proposições simples que estejam ligadas (operadas) pelo conectivo “ou”. Exemplo: 03. DISJUNÇÃO EXCLUSIVA: “ OU...OU... ” símbolo: ˅ Temos agora o nosso terceiro operador lógico denominado de disjunção exclusiva. A proposição composta formada por duas proposições simples que estejam ligadas (operadas) pelo conectivo “ou...ou...” Exemplo: 04.CONDICIONAL: “SE..., ENTÃO...” símbolo: → Agora é muito importante sua atenção, pois iremos estudar o principal dos operadores lógicos, ou seja, o CONDICIONAL, isso pela incidência em questões de concursos públicos e também pela sua complexidade Denomina-se condicional a proposição composta formada por duas proposições que estejam ligadas (operadas) pelo conectivo “Se..., então...”/ “Quando”, “Como” e etc. Exemplo: 05. BICONDICIONAL:“SE,E SOMENTE SE”símbolo: ↔ Temos agora o operador bicondicional que será identificado pelo termo “se, e somente se”. A proposição composta formada por duas proposições que estejam ligadas por esse conectivo. Exemplo: 06.NEGAÇÃO OU MODIFICADOR LÓGICO SÍMBOLO: ¬ OU ~ Exemplo: