logika Olek: Co to znaczy, że zbiór formuł jest sprzeczny? Czy ktoś mógłby mi to wyjaśnić prostymi słowami?

Olek: czy tu chodzi o to, że składa się z samych kontrtautologii? (sorry za głupie pytanie, ale serio nie ogarniam)

Tami09: Nie, co najmniej jedna z formuł wchodzących w jego skład musi być kontrtautologią. Jeśli badasz czy coś wynika ze zbioru, to bierzesz koniunkcję wszystkich wchodzących w jego skład formuł.