18 março, 2021

Se e somente se

Em lógica e campos relacionados, como matemática e filosofia, se e somente se (if and only if, abreviado como "iff ",em inglês; e abreviado como "sse", em português) é um conetivo lógico bicondicional entre afirmações, onde ambas são verdadeiras ou ambas são falsas.
Símbolos: ↔ ⇔ ≡
Os autores de um livro de matemática (Discrete Algorithmic Mathematics) sugerem a utilização de um alongamento consonantal para o caso:
Se você precisar pronunciar "iff", segure realmente os "efes" para que as pessoas percebam a diferença de "if'".

Nenhum comentário: