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

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