chanimal said:i need help with a proof:
(pv~q)vr
~pv(q.~p) / q>r
this is some propositional logic
thanks all
If you need a derivation in some formal system, please specify which system. See https://driven2services.com/staging/mh/index.php?threads/29/. Otherwise please describe what type of proof you need.chanimal said:i need help with a proof
Evgeny.Makarov said:If you need a derivation in some formal system, please specify which system. See https://driven2services.com/staging/mh/index.php?threads/29/. Otherwise please describe what type of proof you need.
Also, is there any significance of a period in ".~p"?
"Prop Logic Proof Help" is a tool used in logic and mathematics to construct and verify logical proofs. It helps to determine the validity of a statement or argument by breaking it down into smaller logical steps, allowing for a clear and organized presentation of the proof.
In this statement, the symbol "p" and "q" represent two different propositions or statements. The symbol "v" stands for the logical operator "or", while "~" represents "not". Therefore, the statement can be read as "p or not q, and not p or (q and not p). From these statements, we can conclude that q implies r."
The forward slash symbol ("/") is used to represent the logical operator "therefore" or "implies". In this statement, it indicates that the statements on the left side of the symbol logically lead to the statement on the right side, and thus implies that q leads to r.
A valid proof is one in which the conclusion follows logically from the given premises, while an invalid proof is one in which the conclusion does not logically follow from the premises. In other words, a valid proof is a correct and sound argument, while an invalid proof is flawed or incorrect.
"Prop Logic Proof Help" can be used in various fields, including mathematics, computer science, philosophy, and law. It can help to assess the validity of an argument, identify any logical fallacies, and make informed decisions based on accurate reasoning. For example, it can be used in legal proceedings to analyze evidence and determine the strength of a case, or in computer programming to test the logical flow of a code.