Please give some idea for simplify the following proposition

  • Context: Undergrad 
  • Thread starter Thread starter shanshayan
  • Start date Start date
  • Tags Tags
    Idea Simplify
Click For Summary
SUMMARY

The discussion centers on simplifying the logical proposition [ p→q] or [ (>q→r) and (>r→>p) ]. Participants emphasize the importance of clarifying the meaning of the ">" symbol, which is crucial for accurate interpretation. The conversation highlights the necessity of demonstrating initial attempts at solving the proposition to facilitate better assistance from others. Ultimately, understanding the logical operators involved is essential for simplification.

PREREQUISITES
  • Understanding of propositional logic
  • Familiarity with logical operators such as implication and conjunction
  • Knowledge of symbolic notation in logic
  • Basic problem-solving skills in mathematical logic
NEXT STEPS
  • Research the meaning and usage of logical symbols, particularly "→" and "∧"
  • Study methods for simplifying logical expressions
  • Explore examples of propositional logic simplifications
  • Learn about truth tables and their application in logical propositions
USEFUL FOR

Students of mathematics, logic enthusiasts, and anyone involved in formal reasoning or computer science who seeks to enhance their understanding of logical propositions and simplification techniques.

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?
 

Similar threads

Undergrad Modus Ponens deduction rule
  • · Replies 12 ·
Replies
12
Views
3K
MHB Find Proofs for the following 5 propositional logic statements
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Value of intuitionistic logic
  • · Replies 11 ·
Replies
11
Views
1K
MHB Find truth value of propositions
  • · Replies 17 ·
Replies
17
Views
2K
Undergrad Is There a Set Definition for Propositions in Propositional Logic?
  • · Replies 27 ·
Replies
27
Views
4K
Undergrad Translate compound proposition p → q (implication) to p↓q question
  • · Replies 4 ·
Replies
4
Views
2K
MHB Calculating Truth Tables for Propositions
  • · Replies 2 ·
Replies
2
Views
1K
Graduate Use mathematical logic to prove this proposition
  • · Replies 1 ·
Replies
1
Views
1K
MHB What is the simplified form of (p ∧ q) ↓ q using basic propositional logic?
  • · Replies 3 ·
Replies
3
Views
2K
High School How does r∪(-p∩q∩-r) simplify to r∪(-p∩q) ?
  • · Replies 3 ·
Replies
3
Views
2K