# Izan beharrarekin eta egin beharrarekin loturiko proposizioen logika.