Логіка і множини
Приклад 6. Заперечення вислову "p є число раціональне" є вислів "p є число ірраціональне". Означення 4. (Імплікація). Говорять, що вислів p → q (якщо p, то q) істинний, якщо p хибний, або q iстинний, або обидва істинні і хибний в противному випадку.