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

Thread starter skaeno
Start date Sep 7, 2013
Tags

Logic

AI Thread 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.

Sep 7, 2013

skaeno

If τ(¬p)=1-τ(p) and τ(p∧q)=τ(p)∙τ(q) show that:
τ(p∨q)=τ(p)+τ(q)-τ(p)∙τ(q)

Physics news on Phys.org

Sep 7, 2013

I like Serena

Science Advisor

Homework Helper

MHB

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 '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 'Bell's Theorem looks like Monty Hall problem in reverse'

Hi, I want to discuss what and IF others have noted the comparison of the Monty Hall problem (or identical ones in different form) to Bell's Theorem because I understood that it was used to argue that quantum entanglement exists by showing no hidden factor yet the puzzle requires a hidden factor. ?

View full post »

Thread 'Onto set mapping is the surjective set mapping, and into injective?'

The textbook is being fine. I asked the forum for some introduction to topology, and decided to start with Simmon`s. This naive question is due to ignorance of the words into and onto, which I don't distinguish in Spanish. A quick browsing sugests I'm right.

View full post »