Introdução à Lógica 3/4

3. Tautologias, Proposições logicamente falsas, Relação de implicação e Relação de equivalência

I. TAUTOLOGIAS

Seja uma proposição formada a partir de outras (p, q ,r) mediante o emprego de conectivos (˄ ou ˅) ou de modificador (~) ou de condicionais (→ ou ↔)

t: (p ˄ ~p) → (q ˅ p)

Dizemos que t é uma tautologia ou proposição logicamente verdadeira quando t tem o valor logico V, independente dos valores lógicos de p,q,r.

Assim, a tabela-verdade de uma tautologia t apresenta apenas v na coluna t. Veja a tabela abaixo:

II. PROPOSIÇÕES LOGICAMENTE FALSAS

Seja f uma proposição formada a partir de outras (p, q, r (...)) mediante o emprego de conectivos (˄ ou ˅) ou de modificador (~) ou de condicionais (→ ou ↔).

Dizemos que f uma proposição logicamente falsa quando f tem o valar lógico falso, independente dos fatores lógicos de p, q, r, etc.

III. RELAÇÃO DE IMPLICAÇÃO

Quando não temos simultaneamente p verdadeiro e q falso, então temos uma relação de implicação.

Quando p implica q, indicamos p ⇒ q.

Notemos que p ⇒ q, quando o condicional → é verdadeiro.

IV. RELAÇÃO DE EQUIVALÊNCIA

Quando p e q tem tabelas-verdades iguais.

P ⇔ q = p é equivalente a q.

Notemos que p equivale a q quando o condicional p↔q é verdadeiro.

Nas próximas postagens de Introdução à lógica teremos: Sentenças abertas e Quantificadores.

Nas postagens anteriores de introdução à lógica, tivemos: Proposição e Negação de uma Proposição; Conectivos e Condicionais.

Comentários

Postagens mais visitadas deste blog

Introdução à lógica 1/4

1. Proposição e negação de uma proposição I . PROPOSIÇÃO É considerado uma proposição uma oração em que se pode classificar somente em verdadeiro ou somente falso. É declarativa, ou seja, ela afirma ou nega algo (nunca é exclamativa e nem interrogativa). Não são proposições as frases exclamativas, interrogativas, imperativas, sem verbo, abertas e paradoxais. Exemplos: II. NEGAÇÃO DE UMA PROPOSIÇÃO Com uma proposição P qualquer, podemos construir outra, denominada negação de P, e é representada pelo símbolo ~P. Exemplo: ~P tem sempre o valor oposto de P, ou seja, quando P é verdadeiro, ~P é falso. E quando ~P é verdadeiro, P é falso. Sabendo disso, podemos formar uma tabela verdade: Nas próximas postagens de Introdução à lógica teremos: Conectivos e Condicionais ; Tautologias, Proposições logicamente falsas, Relação de implicação e Relação de equivalência ; Sentenças abertas e Quantificadores .

Função definida por mais de uma Sentença

Função definida por mais de uma Sentença Uma função definida por mais de uma sentença, como o próprio nome já diz, tem mais de uma lei de formação. Devemos sempre observar o intervalo de x para ver a função a ser utilizada. No caso da função acima, será 2x + 1 quando x < 0, e x - 3 quando x for maior ou igual a 0. Exemplo: Gráfico: Construa separado, de acordo com o intervalo definido na função. Cuide sempre dos extremos. Observe o tipo de cada parte da função, se é constante, do 1º grau, 2º grau... Exemplo: Referências BONJORNO, José Roberto; GIOVANNI, José Ruy; DE SOUZA, Paulo Roberto Câmara. Prisma Matemática: Funções e Progressões. 1. ed. São Paulo: FTD, 2020.

Funções Modulares

FUNÇÕES MODULARES O que é um módulo? MÓDULO DE UM NÚMERO REAL Definição Geométrica Para x real, o módulo de x, |x|, é a distancia de x até 0, na reta real. O módulo não pode ser negativo. Por tanto: FUNÇÃO MODULAR A função f: R → R definida por f (x) = |x| é denominada de função modular. E aplicando a definição de módulo de um número real, a função modular pode ser escrita como: GRÁFICO DA FUNÇÃO MODULAR Para traçar o gráfico da função modular, podemos fazer primeiramente o gráfico da primeira sentença, e depois o gráfico da outra, e por fim, juntá-los em um mesmo plano cartesiano. Veja o exemplo abaixo: Dica: Quando houver um termo fora do módulo, o gráfico da função irá se mover para cima na mesma quantidade do termo quando positivo, ou para baixo quando negativo. Quando houver um termo dentro do módulo, o gráfico irá se mover no sentido contrário ao sinal desse termo, assim quando o termo for positivo, o gráfico vai para a esquerda, quando ne...

Caio Souza

Pesquisar este blog