If it were trees, I would not be looking for a tutor
![Laugh :laugh: :laugh:](/styles/default/xenforo/laughing.gif)
well maybe on the cellular level...
SL is a system for taking apart arguments to show the validity of the form of the argument, regardless of the truth value for the statements.
This is a "famous" ancient Greek example of unsound logic
If I could figure out the keys to SL symbology I could go through the steps to show how the form of the statement is not valid, as well as being obviously false.
We could rewrite it so that it has a truthful conclusion, but because the form can result in an untruthful conclusion it is not valid.
You break the statement down to simple sentences, then assign those uppercase letters
This mutt is your dog= M
he is the father of the puppies=F
the system uses symbols to represent terms the terms AND, OR, IF THEN, NOT...
So the first part of the statement would be represented as M*f (the asterisk would actually be a DOT similar to multiplication)
Now that I have bored you back to bed, I will leave it at that
![Laugh :laugh: :laugh:](/styles/default/xenforo/laughing.gif)
It can be like doing a word puzzle, or sudoko.