×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [ga x fx]
Home >
ga x fx
Proofs in Predicate Logic A rule of inference applies only if the main operator of the line is the right main operator. So if the line is a simple statement,
213 views