Propriedades Semânticas Fundamentais da Lógica Proposicional
Tautologia Para toda interpretação I de uma formula G, I[G]=T
Factivel ou Satisfatível se Existe pelo menos uma interpretação I da fórmula G tal que I[G]=T
Contraditória se para toda interpretação I[G]=F
Dadas duas fórmulas H e G, H implica G se e somente se para toda interpretação I, se I[H]=T, então I[G]=T
Dadas duas fórmulas H e G, H equivale a G se e somente se para toda interpretação I, I[H]=I[G]
Dada uma fórmula H e uma interpretação I, então I satisfaz H se I[H]=T
Um conjunto de fórmulas ß={H1,H2,…,Hn} é satisfatível se e somente se existe uma interpretação I, tal que I[H1]=I[H2]=…=I[Hn]
Neste caso I satisfaz o conjunto de fórmulas, indicado por I[ß]=T. Dado um conjunto e fórmulas vazio, toda interpretação satisfaz esse conjunto