Please give some idea for simplify the following proposition

  • Thread starter Thread starter shanshayan
  • Start date Start date
  • Tags Tags
    Idea Simplify
shanshayan
Messages
3
Reaction score
0
[ p→>q] or [ (>q→r) and (>r→>p) ]

thank you
 
Physics news on Phys.org
You must show your attempt at solving it before we can help you.
 
What does the ">" mean?
 

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

MHB Find Proofs for the following 5 propositional logic statements
Replies
2
Views
2K
MHB Find truth value of propositions
Replies
17
Views
2K
I Is There a Set Definition for Propositions in Propositional Logic?
Replies
27
Views
3K
MHB Calculating Truth Tables for Propositions
Replies
2
Views
1K
I Translate compound proposition p → q (implication) to p↓q question
Replies
4
Views
2K
MHB What is the simplified form of (p ∧ q) ↓ q using basic propositional logic?
Replies
3
Views
2K
B How does r∪(-p∩q∩-r) simplify to r∪(-p∩q) ?
Replies
3
Views
2K
What is the correct way to negate the proposition in this case?
Replies
2
Views
2K
MHB Natural deduction (negated implication)
Replies
8
Views
3K
MHB Truth Table for P(x) & R(x), ~Q(x) & P(x) in U
Replies
1
Views
2K

Hot Threads

Recent Insights

Back
Top