Postagens

Mostrando postagens com o rótulo Negação

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

Proposições

Imagem
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=15...