∀xPx∨Qx⟹∀xPx∨∀xQx
O zaman onerme dogrudur gibi dusundum. son adimimdan emin degilim. ama a, P ve Q nin bagimli degiskeni daha onceki formullerde gecmedi, ve formuller x e bagli degil. sanirimuniversal generalization rule i kullanabiliriz gibi geldi.
Su ikisinin dogru oldugundan cok eminim
Pa∨∀xQx
∀xPx∨Qa
dusunup salim kafayla bakicam gene