Logisk konsekvens

Når andre formlar enn dei gitte er nødt til å være sanne basert på tilgjengelege sannhetsverdiar. Eks: Vi veit P ⋀ Q er sanne. ¬Q ⋁ R og R ⋁ S, må dermed også være sanne. Men ein kan ikke vete om det S er sann eller ikke i den siste ettersom det er eller