Proposição
Uma proposição é uma declaração que pode ser avaliada como verdadeira ou falsa. Em lógica, proposições são usadas para formar expressões mais complexas e realizar operações lógicas.
As proposições também podem ser combinadas usando operadores lógicos como AND (E), OR (OU) e NOT (NÃO) para criar novas proposições.
As proposições geralmente são representadas por convenção pelas letras iniciais do alfabeto arábico e podem assumir valores verdadeiros (T) ou falsos (F).
A tabela verdade mostra como os valores das proposições A e B afetam o resultado das operações lógicas AND e OR.
Tabela Verdade E (AND)
| A | B | A AND B |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
Dica A AND B será verdadeiro se somente as duas proposições forem verdadeiras.
Tabela Verdade OU (OR)
| A | B | A OR B |
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
Dica A OR B será verdadeiro se ao menos uma dela for verdadeira
Exercícios de Múltipla Escolha
1 - Se A fosse verdadeira e B fosse falsa, que valor lógico você atribuiria a A ∧ B?
a) Verdadeiro
b) Falso
2 - Se A fosse falsa e B fosse verdadeira, que valor lógico você atribuiria a A ∧ B?
a) Verdadeiro
b) Falso
3 - Se A e B fossem falsas, que valor lógico você atribuiria a A ∧ B?
a) Verdadeiro
b) Falso
Tabela Verdade Se Então
| P | Q | P → Q |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Se P for falsa P então Q será verdadeira por convenção.