Proposições

-

O que é uma proposição? 

A proposição é uma oração afirmativa e declarativa que pode ser julgada como verdadeira ou falsa. 
     • Tem sujeito e predicado;
     • É declarativa;
     • Só tem dois valores lógicos Verdadeiro ou Falso. 

ex:

Não são proposições lógicas:

• Frases exclamativas;
• Freses interrogativas; 
• Imperativas;
• Sem verbo; 
• Frases abertas.  

ex: 


Negação 

A partir de uma proposição p qualquer, sempre podemos construir outra, denominada negação de p, que é indicada com o símbolo ~p. 

ex: 



A preposição ~p terá sempre o valor oposto de p. Quando uma for verdadeira automaticamente a outra será falsa. 

ex: 


Foi isso meu povo, espero que tenham gostado!!

No próximo post veremos: Proposição Composta - Conectivos

Referencias:

DE OLIVEIRA, Prof. Me. Mateus Souza. Noções de: Lógica. Noções de Lógica, 2022. Disponível em: https://ava.ifba.edu.br/mod/resource/view.php?id=154160. Acesso em: 07 nov. 2022.

BONJORNO, José Roberto; JÚNIOR, José Giovanni ; DE SOUZA, Paulo Câmera . Prisma matemática: Conjuntos e Funções. 1. ed. São Paulo: FTD, 2020. v. 1


Comentários

Postar um comentário

Postagens mais visitadas deste blog

Tautologia, Proposições lógicamente falsas, Relação de implicação e de equivalência, Sentenças abertas e quantificadores

-
Imagem
 Tautologia  Seja t 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 t é uma tautologia ou proposição logicamente verdadeira quando t tem o valor lógico V (verdadeira) independentemente dos valores lógicos de p, q, etc.  ex: Tabela da Verdade   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 valor lógico F (falsa) independentemente dos valores lógicos de p, q, etc. ex: Tabela da Verdade  Relação de Implicação e de Equivalência  Implicação  Dadas as proposições p e q, dizemos que “p implica q” quando na tabela de p e q não ocorre VF em nenhuma linha, isto é, quando não temos simultaneamente p verdadeira e q falsa.  Quando p impli...
Leia mais

Proposição Composta - Condicionais

-
Imagem
 Condicionais  A partir de proposições dadas podemos construir novas proposições mediante o emprego de outros dois símbolos lógicos chamados condicionais: o condicional se... então... (símbolo: →) e o condicional ... se, e somente se, ... (símbolo: ↔). Condicional → (se... então...)  Se colocarmos o condicional → entre duas proposições p e q, teremos uma nova proposição, p → q, se lê: "se p, então q", "p é condição suficiente para q", "q é condição necessária para p".  ex:  Se colocarmos um critério de classificação para a proposição p → q baseado nos valores lógicos de p e q, só será falso quando p for verdadeira e q falsa, caso contrário, p → q é verdadeira. Obs: no condicional p → q, a proposição p é chamada de antecedente e q é chamada consequente. ex: Tabela da Verdade  Condicional ↔ (...se, e somente se,..)  Se colocarmos o condicional ↔ entre duas proposições p e q, teremos uma nova proposição, p ↔ que se lê: "p se, e somente se, ...
Leia mais

Função com Mais de Uma Sentença - todo o conteúdo

-
Imagem
 Função com Mais de Uma Sentença Dados dois conjuntos não vazios, A e B , uma função de A em  B é uma relação que associa cada elemento x de A a um único  elemento y de B . Para indicar uma função de A em B , podemos escrever  f:   A  →   B  (lê-se: f de A em B ). A função f transforma x de A em y de B , o que pode  ser escrito como y = f ( x ) (lê-se: y é igual a f de x ). É denominada de  funções definidas por mais de uma sentença .  ex: Domínio, contradomínio e conjunto imagem Considerando uma função f : A  →   B , vimos que a função f transforma x E A em y E B . Dizemos que o conjunto A é o domínio da  função, indicado por D( f ) e o conjunto B é o contradomínio da função, indicado por CD( f ) . Cada elemento x do domínio tem um correspondente y no contradomínio, indicado por y = f ( x ). A esse valor de y damos o nome de imagem de x pela função f. O conjunto de todos os valores de y pertencente...
Leia mais