Proving a tautology using truth table

In summary, the conversation is about proving whether a given statement is a tautology, contingency, or contradiction using a truth table. The statement in question is ((p_r)^(q_r))<-->((p^q)_r), and the individual is unsure of what to compare in order to make a determination. They later figure out that the statement is a tautology if the left-hand side of the bi-conditional is equal to the right-hand side. They also briefly discuss the symbols ^ and _ being used for conjunction and inclusive or, respectively. However, the individual also mentions that different symbols may be used in different fields or schools.
  • #1

MarcL

170
2

Homework Statement


((p_r)^(q_r))<-->((p^q)_r) Prove whether the following statement is a tautology , contigency or contradiction using a truth table.

Homework Equations




The Attempt at a Solution


I did the truth table, but this whole thing is one statement no? What do I compare? the first half of the bi conditional statement to the second? or the whole statement vs. the two halves? I don't know which to compare to decide whether or not it is a contingency.


EDIT: figured out the tautology is if L.H.S of <--> is equal to RHS. Sorry for the post!
 
Physics news on Phys.org
  • #2
Just a question for you, what is ^ and _? In the logic courses I took, we used different symbols and I'm aware different schools/fields use different symbols so just wanted to know what yours are. Thanks :)

Btw I'm guessing ^ is conjunction and _ is disjunction?
 
  • #3
Well I used ^ for conjunction ( so AND) and _ for inclusive or because I can't the the opposite of ^ :) ( it was my own guess)
 
  • #4
MarcL said:
Well I used ^ for conjunction ( so AND) and _ for inclusive or because I can't the the opposite of ^ :) ( it was my own guess)

Ah, alright :D If you click the sigma Σ button on the toolbar, there are many symbols to choose from including ∧ ∨ ⊃ ⋅ ∴
 

Suggested for: Proving a tautology using truth table

Engineering 2-bit Bin Full Adder Truth Table Derivation
Replies
4
Views
2K
Engineering Circuit Analysis Question (Truth Table, Logic etc.)
Replies
20
Views
1K
Comp Sci Implementing a hash table
Replies
4
Views
975
Comp Sci Insert Data Into SQL Table with Number Datatype
Replies
3
Views
575
Engineering Moments problem -- One point load is given on a table
Replies
4
Views
785
Setting up a truth table
Replies
15
Views
2K
Comp Sci Solving 0-1 Knapsack Problem: Understanding n, w and Table[0][3]
Replies
7
Views
2K
Need some clarification on reading this truth table
Replies
7
Views
1K
Create Truth Table for Controller Outputs: S1, S2, R1, R2
Replies
1
Views
1K
Engineering Building a logic circuit from a truth table
Replies
10
Views
2K

Hot Threads

Recent Insights

Back
Top