i found a cool new thingy associated with logic called inference.does anyone know anything on this topic?
Here lies the reader who will never open this book. He is forever dead.
Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment
When you pass from a statement or set of statements to a new statement by logical deduction, you are said to infer the new statement. Example:
(i) All dogs have four legs.
(ii) Rover is a dog.
(ii) Therefore Rover has four legs.
The last statement is an inference from the first two.