diff --git a/vanel/Matemática Discreta/1. Lógica proposicional.md b/vanel/Matemática Discreta/1. Lógica proposicional.md index a1a04d7..cee2a8b 100644 --- a/vanel/Matemática Discreta/1. Lógica proposicional.md +++ b/vanel/Matemática Discreta/1. Lógica proposicional.md @@ -80,6 +80,7 @@ A expressão $p \land q$ (lê-se "p e q" ) é chamada **conjunção** de $p$ e $ A conjunção $p \land q$ é verdadeira se $p$ e $q$ são ambas verdadeiras; se ao menos uma delas for falsa, então $p \land q$ é falsa. A tabela abaixo apresenta os valores lógicos de $a \land b$ para todos os valores lógicos possíveis dos elementos $a$ e $b$. Essa tabela é denominada tabela-verdade da preposição $p \land q$: + | $p$ | $q$ | $p \land q$ | | :---: | :---: | :---: | | V | V | V | @@ -101,6 +102,7 @@ A expressão $p \lor q$ (lê-se "p ou q") é chamada **disjunção** de $p$ e $q A disjunção $p \lor q$ é verdadeira se ao menos uma das proposições $p$ ou $q$ é verdadeira; se $p$ e $q$ são ambas falsas, então $p \lor q$ é falsa. A tabela abaixo apresenta os valores lógicos de $a \lor b$ para todos os valores lógicos possíveis dos elementos $a$ e $b$. Essa tabela é denominada tabela-verdade da preposição $p \lor q$: + | $p$ | $q$ | $p \lor q$ | | :---: | :---: | :---: | | V | V | V |