Where are you going with this nonsense...still trying to make your faulty logic work. So this is what you mean:
Firmware = software IS FALSE (using Petronski Logic)
Firmware = A Software IS TRUE (using Petronski Logic)
Whatever....
I think you've got it.