Using Wolfram Alpha to Create Truth Tables for Logical Statements

[Myimposter]

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)
--------
~Taller(max,claire)

Was set up like this and correct...

Taller(claire,max) | Taller(max,claire) [ ] Taller(claire,max) v Taller(max,claire) | Taller(claire,max) | ~Taller(max,claire)

The Attempt at a Solution

[/B]
I am having trouble setting up the truth table.

 

[berkeman]

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)
--------
~Taller(max,claire)

Was set up like this and correct...

Taller(claire,max) | Taller(max,claire) [ ] Taller(claire,max) v Taller(max,claire) | Taller(claire,max) | ~Taller(max,claire)

The Attempt at a Solution

[/B]
I am having trouble setting up the truth table.

Welcome to the PF.

Wowie, that notation is a bit foreign to me. What class is it from? It looks like it deals with the height of Claire and Max, but I'm having trouble parsing what you have posted.

Can you explicitly list each premise?

Can you explicitly indicate the conclusion?

What would the independent variables and the dependent variables be in the Truth Table?

 

[Myimposter]

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)

 

[berkeman]

The image links don't seem to be working. Can you use the UPLOAD button in the lower right to upload PDFs or JPEG images that you want to post? Thanks.

 

[Myimposter]

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

 

[FactChecker]

I also have questions about the problem. What is the definition of Tet, Small, Taller, and how is Taller relevant to the original problem statement of Tet and Small? None of this is standard terminology, so you should explain those terms and the problem.

If this problem needs specific knowledge of the program Boole, then can you give a reference to that program. I don't think it is well known.

PS. Please remember that we are not in the class you are in or reading the book that you are reading.

 

[berkeman]

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

"So which is it young fella? if'n we get down on the floor, we'll be a movin', and if'n we don't move, we can't get down on the floor!"

Quiz Question #1 -- What movie is that from?

Quiz Question #2 -- What the heck are you asking, son?

 

[FactChecker]

"So which is it young fella? if'n we get down on the floor, we'll be a movin', and if'n we don't move, we can't get down on the floor!"

Quiz Question #1 -- What movie is that from?

Ha! Hint -- "Son, you've got a panty on your head."

 

[Myimposter]

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.

 

[FactChecker]

I'm not familiar with Boole, so I will describe how it can be done by hand.

1) Start with 3 columns that have every possible combination of T and F for Tet(a), Small(a), and Small(b). There will be 8 rows, not counting the column headings. (Boole might auto-generate these columns for you. )
2) Add a column for Tet(a) ∧ Small(a)
3) Add a column for (Tet(a) ∧ Small(a)) ∨ Small(b)
4) Add a column for Small(a) ∨ Small(b)

Do you understand how use the table to tell if (Tet(a) ∧ Small(a)) ∨ Small(b) implies Small(a) ∨ Small(b)?

 

[Myimposter]

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!

 

[Myimposter]

This has been SOLVED with the help of Factchecker.

Thanks man!

 

[Mark44]

"Use the truth table method in Boole

This technique is just called a truth table. It's confusing to say "in Boole".
Each row in a truth table lists one of the possible combinations of true or false (Boolean values) that a set of Boolean variables can have.

I'm not familiar with Boole

Refers to George Boole, after whom Boolean Algebra is named.

 

[FactChecker]

This technique is just called a truth table. It's confusing to say "in Boole".
Each row in a truth table lists one of the possible combinations of true or false (Boolean values) that a set of Boolean variables can have.
Refers to George Boole, after whom Boolean Algebra is named.

I assumed he was talking about the software program called Boole for truth table creation.

 

[Mark44]

I assumed he was talking about the software program called Boole for truth table creation.

Didn't realize that there was such software. I didn't look at all of the attached images in this thread...

 

[newjerseyrunner]

Just thought I'd mention that Wolfram Alpha will do truth tables for you.