Recent content by Myimposter

This has been SOLVED with the help of Factchecker. Thanks man!

Factchecker, this is Awesome! I think it’s exactly what I needed to know. I won't be in fron of Boole until tonight to be sure but I've done it on paper and it looks pretty close! Ill let you know how it goes!

Thank you very much for the replies. The "Taller max" problem i have correct, i was just mentioning it as a reference. I am including a pic of the Taller max question and solution. I need to know how to set up a truth table for.. (Tet(a) ^ Small(a)) v Small(b) ------ Small(a) v Small(b)Thank you.

The way I have it set up in the pic is incorrect.

Thanks for the reply. The course is Intro to Symbolic Logic. Basically, I need to make a Truth Table in a program called Boole. (Tet(a) ^ Small(a)) v Small(b) ------ Small(a) v Small(b)

Homework Statement [/B] "Use the truth table method in Boole to determine whether the conclusion is a tautological consequence of the premises." (Tet(a) ^ Small(a)) v Small(b) ------ Small(a) v Small(b) Homework Equations [/B] Taller(claire,max) v Taller(max,claire) Taller(claire,max)...

Hello, Student looking for help and absorbing as much information as I can to get me through a Symbolic Logic course that is currently kicking me butt. Using tools such as Tarski's World, Boole and Fitch. Anyone with experience feel free to contact me. Thanks