Lógica/Paradoxos: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 114:
Portanto,
<math>\mathfrak{v}\left(P\right)=\mathrm{F}\Longrightarrow \mathfrak{v}\left(P\to Q\right)= \mathrm{V} \Longrightarrow \mathfrak{v}\left(P\right)=\mathrm{V}\,\!</math>
Ou seja, se <math>P\,\!</math> é falso, então <math>P\,\!</math> é verdadeiro e segue por ''modus ponens'' que <math>Q\,\!</math> é verdadeiro. O mesmo ocorre para quaisquer outras valorações dadas a <math>P\,\!</math> e <math>Q\,\!</math>.
| |||