TonTon-UFPA-Comput/wiki
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated 1. Lógica proposicional.md (markdown)

Browse source
This commit is contained in:
Yuri 2025-11-04 18:13:38 +00:00
commit b592248eb7
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
vanel/Matemática Discreta/1. Lógica proposicional.md
View file

@ -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 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$: 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$ | | $p$ | $q$ | $p \land q$ |
| :---: | :---: | :---: | | :---: | :---: | :---: |
| V | V | V | | 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 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$: 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$ | | $p$ | $q$ | $p \lor q$ |
| :---: | :---: | :---: | | :---: | :---: | :---: |
| V | V | V | | V | V | V |