Logic Proof Rubric

Student Written Logic Proofs

Given: He will eat green eggs and ham here or there or he will eat them anywhere.

If he eats green eggs and ham in a house and he eats them with a mouse then he likes green eggs and ham.

If he will eat green eggs and ham here or there then he eats them in a house.

He does not like green eggs and ham

He eats them with a mouse.

Prove: He will eat green eggs and ham anywhere.

Given: If the rain dried up, then the sun came out.

If the rain didn't come down, then the Itsy-Bitsy Spider didn't go up the water spout.

It is not true that the rain didn't dry up and the Itsy-Bitsy Spider went up the spout again.

If the rain came down, then the Itsy-Bitsy Spider went up the spout again.

The Itsy-Bitsy Spider went up the water spout.

Prove: The sun came out.

Given: It's raining or it's pouring.

The old man is snoring.

If he went to be, then he didn't get up in the morning.

If he bumped his head, then he went to bed.

It it's raining, then he bumped his head.

If the old man is snoring, then it's not pouring.

Prove: He didn't get up in the morning.

Given: If I do not leave today, then don't start spreading the news.

If I leave today, then I will be a part of it.

If I do not go to New York, New York, and I do not go to Illinois, then I am not leaving today.

If I go to Illinois, then I will not be a part of it.

Start spreading the news.

Prove: I go to New York, New York.

Given: If Jack broke his crown, then Jack and Jill did not fetch a pail of water.

Jack broke his crown.

If Jack and Jill went up the hill and Jill came tumbling down, then they fetched a pail of water.

Jack and Jill went up the hill.

Prove: Jill didn't come tumbling down.

Given: Her mother lets Red play or Red goes to her grandmother's to visit.

Her mother doesn't let her play.

If Red goes to her grandmother's to visit, the she doesn't go to the movies.

If Red stops to pick flowers, then she will not see the wolf.

If Red does not see the wolf, then Red goes to the movies.

Prove: Red does not pick flowers.

Given: If Scar did not kill Mufasa then Simba killed Mufasa.

If Scar killed Mufasa then he does not live a happy life as king forever.

Scar lives a happy life as king forever or Simba defeats Scar.

Simba did not kill Mufasa.

Prove: Simba defeats Scar.

Given: If you give a mouse a cookie, he will ask for milk.

If you do not give the mouse milk, then he did not ask for it.

The mouse will look in the mirror when you give him milk.

If he gives himself a trim, then he will want a broom

If he does not give himself a trim, then he does not look in a mirror.

If the mouse does not sweep the house, then he did not ask for a broom.

It is not true that the mouse will sweep the house and he will mop the floors.

You give the mouse a cookie.

Prove: The mouse does not mop the floors.

Given: Little Red Riding Hood goes to her grandmother's.

If Red Riding Hood goes, then the wolf follows her.

If Grandma does not have big teeth, then it not the wolf in the bed.

It is not the case that it is not the wolf and not the grandmother in the bed.

It is not the grandmother in the bed.

If Grandma has big teeth, then it is not the lumberjack in the bed.

Prove: It is not the lumberjack in the bed.

Given: If Sleeping Beauty turns sixteen and pricks her finger, then she falls asleep.

If the Prince saves her, then she doesn't fall asleep.

The Prince saves her.

Sleeping Beauty turns sixteen.

Prove: Sleeping Beauty doesn't prick her finger.

Given: If the three little pigs do not leave their mom, then they do not build their own house.

If the three little pigs leave their mom, then they are the wolf's dinner.

The pigs build their own house or the wolf will huff and puff and blow the house down.

The pigs are not the wolf's dinner.

Prove: The wolf huffs and puffs and blows the house down.

Given: If Prince Charming awakened Sleeping Beauty with a kiss, then she was asleep.

Sleeping Beauty did not prick her finger on a spindle.

If Sleeping Beauty did not prick her finger on a spindle and a witch did not place a curse on her, then Sleeping Beauty did not go to sleep.

Prince Charming awakened Sleeping Beauty with a kiss.

Prove: A witch placed a curse on Sleeping Beauty.

Given: If the three billy goats gruff trick the troll, then they cross the bridge.

If the troll eats them, then they don't cross the bridge.

If the goats aren't happy, then the troll eats them.

They trick the troll.

Prove: The three billy goats gruff are happy.

Given: If Ariel is not a human, then she stays a mermaid.

If Ariel is a human, then she doesn't have fins.

Ariel has fins or she has legs.

Ariel does not stay a mermaid.

Prove: Ariel has legs.