Para a disciplina de Matemática Finita por Ronan Soares
Como calcular a veracidade de uma afirmação?
Frase em modo afirmativo
Afirmação que pode ser Verdadeira ou Falsa mas nunca ambas
Valor lógico de uma proposição
Letras maiúsculas do alfabeto
Operações que recebem valores lógicos e retornam valores lógicos
Tabuadas envolvendo proposições e valores lógicos
¬ P assume o valor lógico oposto ao de P
| P | ¬ P |
|---|---|
| V | F |
| F | V |
P ∧ Q só é verdade quando as duas proposições são verdadeiras
| P | Q | P ∧ Q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
¬ P ∧ Q ∧ ¬ R significa o que?
Não é verdade que vou à praia e não é verdade que tirei boas notas e está chovendo
¬ P ∧ Q ∧ ¬ R é verdade?
parece complicado!
| P | Q | R | ¬ P | ¬ R | (¬ P) ∧ Q | (¬ P ∧ Q) ∧ (¬ R) |
|---|---|---|---|---|---|---|
| V | V | V | F | F | F | F |
| V | V | F | F | V | F | F |
| V | F | V | F | F | F | F |
| V | F | F | F | V | F | F |
| F | V | V | V | F | V | F |
| F | V | F | V | V | V | V |
| F | F | V | V | F | F | F |
| F | F | F | V | V | F | F |
| P | Q | R | ¬ P | ¬ R | (¬ P) ∧ Q | (¬ P ∧ Q) ∧ (¬ R) |
|---|---|---|---|---|---|---|
| V | F | V | F | F | F | F |
A afirmação é FALSA