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-05 02:38:47 +00:00
commit 42575492cd
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -70,16 +70,16 @@ Novas proposições podem ser construídas mediante o emprego de dois símbolos
A expressão $p \land q$ (lê-se "p e q" ) é chamada **conjunção** de $p$ e $q$. A expressão $p \land q$ (lê-se "p e q" ) é chamada **conjunção** de $p$ e $q$.
- Exemplos: - Exemplos:
1. $p:2 > 0$ 1. $p:2 > 0$
$q: 2 \neq 1$ $q: 2 \neq 1$
$p \land q: 2 > 0$ e $2 \neq 1$ $p \land q: 2 > 0$ e $2 \neq 1$
2. $p: -2 < -1$ 2. $p: -2 < -1$
$q: (-2)^{2} < (-1)^{2}$ $q: (-2)^{2} < (-1)^{2}$
$p \land q: -2 < -1$ e $(-2)^{2} < (-1)^{2}$ $p \land q: -2 < -1$ e $(-2)^{2} < (-1)^{2}$
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 $p \land q$ 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$ |
| :---: | :---: | :---: | | :---: | :---: | :---: |