Û         EQUIVALÊNCIA         Û

Û - Símbolo de equivalência. Em linguagem corrente traduz "...se e só se...".

    O Óscar diz que consegue entrar para a faculdade se e só se estudar bastante.

    Introduzindo a seguinte notação:

        R: Consigo entrar para a faculdade.

        S: Estudo bastante.

    Em linguagem lógica, a nossa frase seria traduzida por:

RÛS    ou   (RÞS)Ù(SÞR)

    A tabela de verdade da equivalência é da forma:

X Y XÛY
V V V
V F F
F V F
F F V

       Como se pode verificar na tabela, só temos uma equivalência verdadeira quando X e Y têm o mesmo valor lógico. Então, a frase inicial será verdadeira se o Óscar conseguir entrar para a faculade e estudar bastante, ou então se o Óscar não conseguir entrar para a faculdade e não estudar bastante.

Voltar à página anterior