Translating:
All humans have a father
Let $Hx$ be x is human and $Fx$ be x has a father. Then should it be $$\forall x(HxFx)$$? or $$\forall x(Hx\rightarrow Fx)$$?
2026-04-13 21:04:05.1776114245
Translating "All humans have a father" into propositional logic
34 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
The second formula is ok.
The first one isn’t. It isn’t even a well formed first order logic formula.