MHB By using rules of inference how the valid conclusion can be determined?

  • Thread starter Thread starter yakin
  • Start date Start date
  • Tags Tags
    Rules
yakin
Messages
42
Reaction score
0
Honestly, I do not really understand how to apply rules of inference. So i would appreciate if u could explain without missing any point.
View attachment 2151

I think i got this, is this the correct answer? Pls refer to image.
View attachment 2152
 

Attachments

  • Capture.JPG
    Capture.JPG
    16 KB · Views: 81
  • Capture.JPG
    Capture.JPG
    14.9 KB · Views: 82
Last edited:
Physics news on Phys.org
Hello, yakin!

You are correct!
 

Thread 'Value of intuitionistic logic'

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
View full post »

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Similar threads

I Can Ockham’s razor be used to make quick qualitative predictions?
Replies
23
Views
2K
Proving Conclusion of R: Using Rules of Inference and Given Premises
Replies
20
Views
2K
Can Logical Inference Rules Prove This Propositional Argument?
Replies
3
Views
2K
I How Can Bayes' Formula Help Understand Price Increases with Overseas Expansion?
Replies
5
Views
2K
Why/How does the definition of implication in mathematics work?
Replies
15
Views
4K
I In what cases (precisely) are Hund's rules valid?
Replies
3
Views
4K
MHB Counterfactual Expectation Calculation
Replies
1
Views
2K
Is there a rule that states that I should not divide in this scenario?
Replies
10
Views
1K
Find Values of Osculating Circle Tangent to a Parabola
Replies
4
Views
1K
MHB How can I solve this limit without using L'Hôpital's rule?
Replies
2
Views
2K

Hot Threads

Recent Insights

Back
Top