That is implicational universal would give you the first type since there is no Y there is no X; type II.
அதாவது Y இல்லை என்பதால் X இல்லை என்பதை இம்ப்ளிகேஷனல் யூனிவேர்சல்ஸ் வகை I-ஐ உங்களுக்கு வழங்கும்; வகை II.