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.

Comentários

Postagens mais visitadas deste blog

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...

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 imp...

Caio Souza

Pesquisar este blog