Jak najít realizaci, ve které formule platí, jak realizaci, ve které neplatí. Pravdivé formule — platné ve všech realizacích.
příklady