Zdanie „p”
Julka Palmer jest rośliną jednoroczną.
Zdanie „q”
Sowiniec jest wielbłądem dwugarbnym.
Zdanie:
(p→q) v (q→p) czyli zdanie:
Jeżeli Julka Palmer jest rośliną jednoroczną, to Sowiniec jest wielbłądem dwugarbnym lub jeżeli Sowiniec jest wielbłądem dwugarbnym, to Julka Palmer jest rośliną jednoroczną, jest zawsze prawdziwe!
