Logic - Logically equivalent

  • Thread starter cristina89
  • Start date
  • #1
29
0

Main Question or Discussion Point

Be [itex]\alpha[/itex] and [itex]\beta[/itex] two formulas of the propositional calculus, show that [itex]\alpha[/itex] and [itex]\beta[/itex] are logically equivalent if and only if ~[itex]\alpha[/itex] and ~[itex]\beta[/itex] are logically equivalent.
 

Answers and Replies

  • #2
2,123
79
Be [itex]\alpha[/itex] and [itex]\beta[/itex] two formulas of the propositional calculus, show that [itex]\alpha[/itex] and [itex]\beta[/itex] are logically equivalent if and only if ~[itex]\alpha[/itex] and ~[itex]\beta[/itex] are logically equivalent.
Is this a homework question? If so, it should be posted in the homework section: precalculus mathematics. In any case, you need to show your attempt at a solution.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
956
What is your definition of "logically equivalent"?
 

Related Threads on Logic - Logically equivalent

  • Last Post
Replies
2
Views
666
  • Last Post
Replies
3
Views
2K
Replies
6
Views
695
  • Last Post
Replies
5
Views
2K
Replies
2
Views
3K
Replies
3
Views
1K
Replies
6
Views
2K
Replies
2
Views
955
  • Last Post
Replies
17
Views
1K
Replies
3
Views
3K
Top