Proposição é uma ideia de sentido completo. Exemplo
As proposições podem ser simples ou compostas. As simples possuem um único sentido completo enquanto as compostas dois ou mais.
A palavra que une as proposições simples para formar as compostas é denominada conectivo. Os principais conectivos são: e (^), ou (v), não (~), se... então (→), se somente se (↔).
Estes conectivos geram as tabelas-verdades fundamentais
Tabelas-verdades fundamentais
| p | q | p∧q | p∨q | ~p | p⊻q | p→q | p↔q |
|---|---|---|---|---|---|---|---|
| V | V | V | V | F | F | V | V |
| V | F | F | V | F | V | F | F |
| F | V | F | V | V | V | V | F |
| F | F | F | F | V | F | V | V |
Em um triângulo retângulo, o quadrado da medida da hipotenusa é igual à soma dos quadrados das medidas dos catetos.
X