Condicionais Ainda 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(→) Colocando o condicional → entre duas proposições p e q, obtemos uma nova proposição, p → q, que se lê: “se p, então q”, “p é condição suficiente para q”, “q é condição necessária para p”. Exemplos: a) p: dois é divisor de quatro q: quatro é divisor de vinte p → q: se dois é divisor de quatro, então quatro é divisor de vinte. b) p: dois vezes cinco é igual a dez q: três é divisor de dez p → q: se dois vezes cinco é igual a dez, então três é divisor de dez Criando um critério de classificação para a proposição p → q baseado nos valores lógicos de p e q, temos que : O condicional p → q é falso somente quando p é verdadeira e q é falsa; caso contrário, p → q é verdad...
Comentários
Postar um comentário