Lady Blogs

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

 Conectivos  A partir de proposições usadas podemos construir novas proposições mediante o emprego de dois símbolos lógicos conectivos: o conectivo ˄ (lê-se: e) e o conectivo ˅ (lê-se: ou). Conectivo ˄ (e) Colocando o conectivo ˄ entre duas proposições p e q, obtemos uma nova proposição, p ˄ q, denominada conjunção das sentenças p e q. ex:  Se colocarmos um critério para estabelecer o valor lógico (Verdadeiro ou Falso) de uma conjunção a partir dos valores lógicos (conhecidos) das proposições p e q só será verdadeira se ambas forem verdadeiras, caso contrário, o restante será falso. ex: Tabela da Verdade Conectivo ˅ (ou) Colocando o conectivo ˅ entre duas proposições p e q, obtemos uma nova proposição, p ˅ q, denominada disjunção das sentenças p e q.  ex:  Se colocarmos um critério para estabelecer o valor lógico (Verdadeiro ou Falso) de uma disjunção a partir dos valores lógicos (conhecidos) das proposições p e q eles só serão falsos se ambas forem fal...