Main index
➠
Computing
➠
Automated theorem prover
Tests
Factor of is transitive
If x * y = 0 then x or y is 0
The square root of 2 is irrational
Factor of is transitive
If x * y = 0 then x or y is 0
The square root of 2 is irrational