ПРЕДИСКИЙ ЛОГИЧЕСКИЙ ЛОГОВОЙ РЕГОВОР
A x (P(x) V Q(x))
Breakable Buffalo
A x (P(x) V Q(x))