Logic: Logical Status of Statement Forms

In summary, the professor for my symbolic logic course requires precision in our explanations and the student is studying for the first exam by practicing exercises. The student wants feedback on their explanations and prefers to place questions and answers in the same section. The student asks questions about the negation of a tautology and a contradiction, the disjunction of a contingent form and a tautology, the biconditional of two contradictions, a conditional with a tautology as an antecedent and a contingent form as a consequent, and the biconditional of two contingent forms.
  • #1
Dembadon
Gold Member
659
89
The professor for my symbolic logic course requires us to be extremely precise with our explanations. Given the subject, I understand his reasoning and appreciate his rigor. I am studying for our first exam by doing some of the exercises at the end of the sections on which we're going to be tested. I'm hoping to get some feedback on the reasons I've provided for the following cases. Are they precise enough; verbose; false? In other words, please nit-pick the hell out of them! :smile:

I'd also like to deviate a bit from the standard H.W. submission form, if it's okay with the mentors. I would like to place the questions and answers in the same section to keep those who wish to help from having to scroll up and down to match the questions to their corresponding answers.

Homework Statement



Homework Equations


The Attempt at a Solution

What is the negation of a tautology? Why?

The negation of a tautology is a contradiction.

Reason: In a tautology, all of the truth-values under the major operator are true, and since all of the values under the major operator are false for a contradiction, it follows that the negation of a column of T’s will be a column of F’s.

What is the negation of a contradiction? Why?

The negation of a contradiction is a tautology.

Reason: In a contradiction, all of the truth-values under the major operator are false, and since all of the values under the major operator are true for a tautology, it follows that the negation of a column of F’s will be a column of T’s.

What is the disjunction of a contingent form and a tautology?

This will be a tautology, because a disjunction requires only one of the truth-values to be true, which it obtains from the tautology. Therefore, all of the truth-values for the disjunction will end up being true. Hence, the conclusion will be tautological.

What is the biconditional of two contradictions?

This will be a tautology, because for a biconditional to be true, both premises’ truth-values must be equivalent. Since all of the truth-values in a contradiction are false, then the biconditional will be true for every instance of the form.

What is a conditional with a tautology as an antecedent and a contingent form as a consequent? Why?

This will be another contingency.

Reason: The false truth-values in the contingency will cause the truth-values for the conditional to be false. Since some of the other instances of the conditional form will yield truth-values that are true, then the conclusion will be a mix of true and false instances of the form, thus making a contingency.

What is the biconditional of two contingent forms? Why?

This has the possibility to be anything: tautology, contradiction, contingency.

Reason: It’s possible to find instances of the contingent forms that yield all three logical statuses.
 
Physics news on Phys.org
  • #2
Before I say anything, could you please state the definition of a major operator and of a contingency. I never saw logic in english...



Dembadon said:
What is the negation of a tautology? Why?

The negation of a tautology is a contradiction.

Reason: In a tautology, all of the truth-values under the major operator are true, and since all of the values under the major operator are false for a contradiction, it follows that the negation of a column of T’s will be a column of F’s.

OK, this is good. Were you taught to write it in sentences like this?? If you would ask me that question, then I would write it out in symbols.

But you want me to nitpick: what do you mean with a "column of T's"?? Please specify this.

What is the negation of a contradiction? Why?

The negation of a contradiction is a tautology.

Reason: In a contradiction, all of the truth-values under the major operator are false, and since all of the values under the major operator are true for a tautology, it follows that the negation of a column of F’s will be a column of T’s.

The same as above
What is the disjunction of a contingent form and a tautology?

This will be a tautology, because a disjunction requires only one of the truth-values to be true, which it obtains from the tautology. Therefore, all of the truth-values for the disjunction will end up being true. Hence, the conclusion will be tautological.

OK

What is the biconditional of two contradictions?

This will be a tautology, because for a biconditional to be true, both premises’ truth-values must be equivalent. Since all of the truth-values in a contradiction are false, then the biconditional will be true for every instance of the form.

"both premises' truth values must be equivalent". I see what you mean, but what do you mean with "equivalent"?

What is a conditional with a tautology as an antecedent and a contingent form as a consequent? Why?

This will be another contingency.

Reason: The false truth-values in the contingency will cause the truth-values for the conditional to be false. Since some of the other instances of the conditional form will yield truth-values that are true, then the conclusion will be a mix of true and false instances of the form, thus making a contingency.

Good, but could you specify exactly when the conditional will be true and when it will be false.

What is the biconditional of two contingent forms? Why?

This has the possibility to be anything: tautology, contradiction, contingency.

Reason: It’s possible to find instances of the contingent forms that yield all three logical statuses.

Please give three examples where those three things can happen.
 
  • #3
Perfect, micro! This is just what I needed. I will work-up a reply and get back to you. :smile: Thank you for your help.
 
  • #4
Before I say anything, could you please state the definition of a major operator and of a contingency. I never saw logic in english...

Sure!

Major Operator: is a truth-functional, sentential operator that decides the truth-value for the entire formula/compound.

Contingency: a single statement form that is false for some substitution instances and true for others; that is, it has both T’s and F’s in its truth table under the major operator.

Another note: I’m required to know both the symbols and English translations for this course. I’ve used sentences here because it is more difficult for me than using symbols.

What is the negation of a tautology? Why?

The negation of a tautology is a contradiction.

Reason: In a tautology, all of the truth-values under the major operator are true, and since all of the values under the major operator are false for a contradiction, it follows that the negation of a column of T’s will be a column of F’s.

OK, this is good. Were you taught to write it in sentences like this?? If you would ask me that question, then I would write it out in symbols.

But you want me to nitpick: what do you mean with a "column of T's"?? Please specify this.

By saying “column of T’s,” I’m referring to the truth table values under the major operator.

What is the negation of a contradiction? Why?

The negation of a contradiction is a tautology.

Reason: In a contradiction, all of the truth-values under the major operator are false, and since all of the values under the major operator are true for a tautology, it follows that the negation of a column of F’s will be a column of T’s.
The same as above

I mean the same thing here.

What is the biconditional of two contradictions?

This will be a tautology, because for a biconditional to be true, both premises’ truth-values must be equivalent. Since all of the truth-values in a contradiction are false, then the biconditional will be true for every instance of the form.
"both premises' truth values must be equivalent". I see what you mean, but what do you mean with "equivalent"?

Good question. By “equivalence” I mean that the truth-values, T or F, in the truth table must be the same for the substitution instance (row in the truth table).

What is a conditional with a tautology as an antecedent and a contingent form as a consequent? Why?

This will be another contingency.

Reason: The false truth-values in the contingency will cause the truth-values for the conditional to be false. Since some of the other instances of the conditional form will yield truth-values that are true, then the conclusion will be a mix of true and false instances of the form, thus making a contingency.
Good, but could you specify exactly when the conditional will be true and when it will be false.

The conditional will be false if and only if the antecedent is true and the consequent is false. All other cases will make the conditional true.

What is the biconditional of two contingent forms? Why?

This has the possibility to be anything: tautology, contradiction, contingency.

Reason: It’s possible to find instances of the contingent forms that yield all three logical statuses.
Please give three examples where those three things can happen.
Contingent forms → Tautology
T iff T → T
T iff T → T
F iff F → T
F iff F → T

Contingent forms → Contradiction
T iff F → F
F iff T → F
T iff F → F
F iff T → F

Contingent forms → Contingency
T iff F → F
T iff T → T
F iff F → T
F iff T → F
 
Last edited:
  • #5
Dembadon said:
The conditional will be false if and only if the antecedent is true and the consequent is false. All other cases will make the conditional true.

Yes, but the antecedent is always true. So...

Contingent forms → Tautology
T and T → T
T and T → T
F and F → T
F and F → T

Contingent forms → Contradiction
T and F → F
F and T → F
T and F → F
F and T → F

Contingent forms → Contingency
T and F → F
T and T → T
F and F → T
F and T → F

To nitpick further: you've only shown me truth tables. How do I know that there are actual formulas that satisfy this truth table?? That is, can you give me actual formula's??

You do seem to know your stuff though :smile:
 
  • #6
micromass said:
To nitpick further: you've only shown me truth tables. How do I know that there are actual formulas that satisfy this truth table?? That is, can you give me actual formula's??

You do seem to know your stuff though :smile:

Thanks! Here are some examples I worked out earlier. They aren't very complicated, but they still illustrate my points.

But first, some definitions! :smile:

Let "≡" mean "if and only if".

~ ≡ not
• ≡ and
⊃ ≡ conditional operator

Contingent forms, joined by a biconditional, that make a tautology:

~(p ⊃ q) ≡ (p • ~q)

In the case above, it is not possible to obtain a false conclusion no matter what truth-values are assigned to p and q.

Contingent forms, joined by a biconditional, that make a contradiction:

~(p ≡ ~q) ≡ ~(p ≡ q)

In the case above, it is not possible to obtain a true conclusion no matter what truth-values are assigned to p and q.

Contingent forms, joined by a biconditional, that make a contingency:

(p ≡ q) ≡ (p ⊃ q)

In the case above, it is not possible to obtain a tautology or a contradiction no matter what truth-values are assigned to p and q.
 
  • #8
micromass said:
That sounds ok!

Excellent. Thank you for your help! :smile:
 

What is the definition of logic?

Logic is the study of reasoning and argumentation, specifically the principles and methods used to assess the validity of arguments.

What are the three types of statement forms in logic?

The three types of statement forms in logic are categorical, hypothetical, and disjunctive statements. Categorical statements involve relating two classes or categories, hypothetical statements express a conditional relationship, and disjunctive statements present two alternatives.

How do you determine the logical status of a statement form?

The logical status of a statement form is determined by its form and structure, rather than its content. This can be done through the use of logical operators, such as "and," "or," and "if-then," and by analyzing the relationships between the terms and propositions within the statement.

What is the difference between a valid and invalid argument?

A valid argument is one in which the conclusion necessarily follows from the premises, meaning that if the premises are true, the conclusion must also be true. An invalid argument is one in which the conclusion does not necessarily follow from the premises, meaning that the premises can be true but the conclusion can still be false.

How does logic relate to other fields of study?

Logic is a fundamental aspect of many academic disciplines, including mathematics, philosophy, computer science, and linguistics. It provides a framework for critical thinking and problem-solving, and can be applied to various real-world situations to assess the validity of arguments and claims.

Similar threads

  • Calculus and Beyond Homework Help
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
3K
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
2K
Back
Top