Teste

CPC

^ ٧ → ↔
VVV VVV VVV VVV
FVF FVV FVV FVF
VFF VFV VFF VFF
FFF FFF FFV FFV

Definição 5.1. Uma fórmula da linguagem do CPC é uma expressão que pode ser obtida através das seguintes regras:
(F1) Uma letra sentencial sozinha é uma fórmula.
(F2) Se α é uma fórmula, então ¬α é uma fórmula.
(F3) Se α e β são fórmulas, então (α ∧ β), (α ∨ β), (α → β), e (α ↔ β) são fórmulas.
(F4) Nada mais é uma fórmula.

Valoração
Uma vez que o valor de uma fórmula molecular pode ser obtido a partir do valor de seus componentes, uma valoração só precisa atribuir um valor de verdade a cada uma das fórmulas atômicas de uma determinada linguagem proposicional. E é justamente isso que uma valoração faz: uma atribuição de valor de verdade a todas as fórmulas atômicas. Assim, uma valoração v pode ser definida como uma função do conjunto de todas as fórmulas atômicas de uma linguagem proposicional no conjunto {V, F} dos valores de verdade.

c=v , b=v, d=v
(C ∧ B) → ¬ D V V V V F F

Tabelas de Verdades
(¬A ∧ B) → ¬A === A, B, ¬A, ¬A ∧ B,
A
B ¬A
(¬A ∧ B)
(¬A ∧ B) → ¬A
V
V

F
V

V
F

F
F

CQC constantes individuais – a … t admite a2, t2 … subscritos iniciam a partir de 1 variáveis individuais - x, y, z, w, u, v admite x2, y2, z2, w2, u2 constante de predicado – A … T admite A2 … T2

α, β, γ – Variaveis metalinguisticas (poder ser trocadas por formulas)

Constantes de predicado e fórmulas atômicas – Exemplo: Fpab, Pc, Habc

Operadores e fórmulas moleculares: Mtm ∨ Mmt, ¬P m ∧