Tautologia, Proposições lógicamente falsas, Relação de implicação e de equivalência, Sentenças abertas e quantificadores
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...