# Stanford University Contingent and Theorem Sentence Questions

Description

I’m currently in intro to logic and we have been given questions where I don’t understand the vocabulary or process to getting the right answer. The questions come from the Forallx intro to logic online textbook and need to be solved using natural deduction rules in TFL form. 1. Show that the sentence ¬(X ∨ (Y ∨Z)) ∨ (X ∨ (Y ∨Z)) is not contingent2. Show that A→(A→B) is not a theorem.The problem with 1 and 2 are that I only know how to show when a sentence is contingent or a theorem, not when its not.
3. Show that ¬¬(C ↔ ¬C) ((G ∨C) ∨G) ∴ ((G → C) ∧G) is valid.When I get to my second sub proof I run into the problem of being unable to Isolate C4. Show that the sentences ¬(W → W) (W ↔ W) ∧WE ∨ (W → ¬(E ∧ W )) are jointly inconsistent.Here I don’t know what jointly means or how to represent it,Any help would be appreciated!

Tags:
mathematics problems

contingent sentence

theorem sentence

equation problems

TFL

User generated content is uploaded by users for the purposes of learning and should be used following Studypool’s honor code & terms of service.

## Reviews, comments, and love from our customers and community:

This page is having a slideshow that uses Javascript. Your browser either doesn't support Javascript or you have it turned off. To see this page as it is meant to appear please use a Javascript enabled browser.

Peter M.
So far so good! It's safe and legit. My paper was finished on time...very excited!
Sean O.N.
Experience was easy, prompt and timely. Awesome first experience with a site like this. Worked out well.Thank you.
Angela M.J.
Good easy. I like the bidding because you can choose the writer and read reviews from other students
Lee Y.
My writer had to change some ideas that she misunderstood. She was really nice and kind.
Kelvin J.
I have used other writing websites and this by far as been way better thus far! =)
Antony B.
I received an, "A". Definitely will reach out to her again and I highly recommend her. Thank you very much.