Author: cs.cornell.edu
Axiomas para lógica de cálculo proposicional
Os axiomas da lógica calculadora proposicional C estão listados na ordem em que geralmente são apresentados e ensinados. Observe que a equivalência vem em primeiro lugar. Note-se também que, após o primeiro axioma, aproveitamos a associatividade da equivalência e escrevemos as seqüências de equivalências sem parênteses. The floor leveler product will fill in grout lines and level the surface completely for the new tile application. Use a thin-set to install ceramic tile over existing tiles. Consider that doors, cabinets, and other hardware might be reworked or replaced with new ones to compensate for the height reduction. Nós usamos == para equivalência, | para disjunção, & por conjunção, ~ para negação (não), => por implicação, e <= por conseqüência.
- Associatividade de ==: ((p == q) == r) == (p == (q == r))
- Simetria de ==: p == q == q == p
- Identidade de ==:
true == q == q
- Definição de falso: false == ~true
- Distribuição de não: ~(p == q) == ~p == q
- Definição de =/=:
(p =/= q) == ~(p == q)
- Associatividade de |: (p | q) & r == p | (q | r)
- Simetria de |: p | q == q | p
- Idempotency of |: p | p == p
- Distribuição de |: p |(q == r) == p | q == p | r
- Médio excluído:
p | ~p
- Regra de ouro:
p & q == p == q == p | q
- Implicação: p => q == p | q == q
- Consequência: p <= q == q => p