Umie ktoś wytłumaczyć jak wykonać taki dowód:
f (A) / f (B) zawiera się w f (A/B)

jakoś to tak idzie , w drugą stronę zawieranie nie zachodzi zawsze, ale jeśli f różnowartościowa to też zachodzi
Szczegółowe wyjaśnienie: