Quantificatori e predicati

[Alin2]

Sto provando a scrivere questa proposizione:
ogni maschio ha la stessa età della femmina, ma il maschio é piú alto della femmina.

Pongo $p(x,y)$ come la funzione proporzionale $ x$ ha la stessa età di $y$
Pongo $q(x,y)$ come la funzione proporzionale $ x$ é più alto di $y$
con $x$ che varia nell'insieme $U$ dei maschi e $y$ nell'insieme $D$ delle femmine e ottengo
$AAxEEy( p(x,y) ^^ q(x,y))$

Oppure se definisco $U_(x)$ come $x in $ all'insieme dei maschi
$AAx(U_(x) rArr ( p(x,y) ^^ q(x,y)))$

Cosa ne pensate! Grazie

[Alin2]

Penso proprio di si!
Vado avanti con le altre

$ii$ If Maria rides a bicycle then her son works in the city:
$B(m) rarr C(s)$
(iii) Maria works in the city and rides a bicycle but her son is not a
chicken farmer:
($C(m) ^^ B(m)) ^^ neg F(s)$

(iv) Everyone who works in the city is a chicken farmer:
$AAx (C(x) rarr F(x) )$