MHB How Does De Morgan's Law Apply to Probability Logic?

  • Thread starter Thread starter skaeno
  • Start date Start date
  • Tags Tags
    Logic
Click For Summary
De Morgan's Law states that the disjunction of two propositions can be expressed as the negation of the conjunction of their negations. Given the equations τ(¬p)=1-τ(p) and τ(p∧q)=τ(p)∙τ(q), it can be shown that τ(p∨q) equals τ(p)+τ(q)-τ(p)∙τ(q). This relationship highlights the connection between probability logic and logical operations. The discussion emphasizes the importance of understanding these foundational principles in probability theory. Overall, De Morgan's Law provides a crucial framework for analyzing probabilities in logical expressions.
skaeno
Messages
1
Reaction score
0
If τ(¬p)=1-τ(p) and τ(p∧q)=τ(p)∙τ(q) show that:
τ(p∨q)=τ(p)+τ(q)-τ(p)∙τ(q)
 
Physics news on Phys.org
skaeno said:
If τ(¬p)=1-τ(p) and τ(p∧q)=τ(p)∙τ(q) show that:
τ(p∨q)=τ(p)+τ(q)-τ(p)∙τ(q)

Hi skaeno, welcome to MHB! :)

Perhaps you might consider that p∨q=¬(¬p∧¬q)?
 

Thread 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
View full post »

Similar threads

I On the meaning of logical implication within specific context/models
  • · Replies 22 ·
Replies
22
Views
3K
Probability of exactly n cars passing in time T
  • · Replies 17 ·
Replies
17
Views
2K
MHB Find Proofs for the following 5 propositional logic statements
  • · Replies 2 ·
Replies
2
Views
2K
I Can you calculate the probability of a complex logic expression?
  • · Replies 3 ·
Replies
3
Views
2K
I Logical representation of prime numbers
  • · Replies 19 ·
Replies
19
Views
4K
MHB Solving a Complex Logical Equivalence in CNF Form
  • · Replies 3 ·
Replies
3
Views
2K
I Using Logical Equivalences to Simplify a Statement
  • · Replies 6 ·
Replies
6
Views
4K
B How does r∪(-p∩q∩-r) simplify to r∪(-p∩q) ?
  • · Replies 3 ·
Replies
3
Views
2K
I [(Linear) Temporal Logic] Are the given sentences consistent or not?
  • · Replies 8 ·
Replies
8
Views
2K
  • Poll Poll
A How to change the support of a probability density function?
  • · Replies 4 ·
Replies
4
Views
2K