answersLogoWhite

0

The point of a formal proof of validity is to get back to the conclusion of a syllogism in as few steps as possible. Let's say we have the syllogism:

1. P>Q (that's supposed to be a conditional...)

2.P

3.Q>R /.'.R

What you want to do is keep going with the syllogism. You can use steps 1, 2,and 3, but you cannot use the conclusion. How you use them is try to find which rules of inference start with any of your premises. For instance, step #1, P>Q and step #3, Q>R are the first two premises in the Hypothetical syllogism. So you could make step #4 P>R. Next to this step you will put what is called the 'justification', which would look something like this: 1,3 H.S. (which means: I used steps 1 and 2 and a hypothetical syllogism to make this step). Now we can use the step we just made in a Modus Ponens. This would use steps 4 and 2, and would look like this: R. Do you recognize that? That was our conclusion. We have now finished this formal proof of validity. Here's what the whole thing looks like:

1. P>Q

2.P

3.Q>R /.'. R

4.P>R 1,3 H.S.

5.R. 4,2 M.P.

(If you want to look like you really know what you're doing, you will want to put Q.E.D. at the end of a formal proof. That's what the real logicians do).

Hope this helps!!

(By the way, I'm 13.) :D

User Avatar

Wiki User

13y ago

What else can I help you with?

Continue Learning about Math & Arithmetic

What is derivable consequence?

A derivable consequence is a statement or proposition that logically follows from a set of premises or axioms within a formal system. In other words, if the premises are true, the derivable consequence must also be true based on the rules of inference of that system. It is a fundamental concept in logic and mathematics, often used to demonstrate the validity of arguments or proofs.


When you use induction you form general ideas and rules based on your experiences and what?

Logical inference.


What is proof of a logical system?

Proof in a logical system is a sequence of statements or formulas derived from axioms and previously established theorems using rules of inference. It serves to demonstrate the validity of a specific proposition or theorem within the framework of the system. A proof must be rigorous and adhere to the rules of the logical system to ensure its soundness and reliability. Essentially, it provides a formal verification that certain conclusions logically follow from accepted premises.


When you start from a given set of rules and conditions and determine what must be true you are using what reasoning.?

When you start from a given set of rules and conditions to determine what must be true, you are using deductive reasoning. This type of reasoning involves drawing specific conclusions based on general principles or premises. It ensures that if the initial premises are true, the resulting conclusions must also be true. Deductive reasoning is commonly used in mathematics, logic, and formal proofs.


Can you determine when you use deduction and start from a given set of rules and conductions?

Deduction is used when you start with a set of premises or rules and apply logical reasoning to derive conclusions from them. It typically involves a process where specific instances or facts are inferred from general principles. You can recognize deduction when you see a clear logical structure that leads from established truths to new insights, often employing syllogisms or formal proofs. This method contrasts with induction, which involves making generalizations based on specific observations.

Related Questions

How to solve logic proofs effectively?

To solve logic proofs effectively, carefully analyze the premises, identify the rules of inference to apply, and systematically apply them to reach a valid conclusion. Practice and familiarity with logical rules and strategies can improve your ability to solve proofs efficiently.


In maths a statement or formula that can be deduced rom the axioms of a formal system by means of the rules of inference?

theorem


What is derivable consequence?

A derivable consequence is a statement or proposition that logically follows from a set of premises or axioms within a formal system. In other words, if the premises are true, the derivable consequence must also be true based on the rules of inference of that system. It is a fundamental concept in logic and mathematics, often used to demonstrate the validity of arguments or proofs.


All of our rules of inference are valid In other words they will never take you from true premises to a false conclusion?

Yes, rules of inference are valid inferences that guarantee truth-preservation. This means that if the premises of an argument are true, then the conclusion drawn using valid rules of inference will also be true. Rules of inference are based on sound logic and deductive reasoning to ensure that the conclusion accurately follows from the given premises.


How can I use a symbolic logic proof generator to create logical proofs efficiently?

To create logical proofs efficiently using a symbolic logic proof generator, input the premises and the conclusion of the argument into the tool. Then, follow the rules of inference and logical equivalences provided by the generator to derive the steps of the proof systematically. Review and revise your proof as needed to ensure it is logically sound and valid.


When you use induction you form general ideas and rules based on your experiences and what?

Logical inference.


When you use induction you form general ideas and rules based on your experiences and .?

Logical inference.


When you use induction you form general ideas and rules based on your experiences and?

Logical inference.


When you use induction you form general ideas and rules based on your experience?

Logical inference.


What is the difference between inference and deduction?

Inference involves drawing conclusions based on evidence and reasoning, while deduction involves reaching a specific conclusion based on a set of premises or rules.


Inference rules in DBMS?

The inference rules in DBMS describes the New functional Dependency derived from two existed entity which are functionally dependent. For example: let two entities X and Y, if X belongs to Y and Y belongs Z then X must belongs to Z. This rule called transitive rule. Thanx Subhash(820740207) PTU 4th Semester Patel nagar Delhi


Who has simpler rules less formal atmosphere senate or house?

The Senate has fewer rules and a less formal atmosphere because it is smaller than the House.