## Notes Information

Login / Sign Up to View Document

## Sample Document Text

M124 - Logic Lecture 5
. Analysis of arguments
- Logical consequence
- Rules of inference
- Rules of equivalence
- Formal proof of arguments
Logical Consequence
.Let ? be a set of formulae and f a formula
- f is a logical consequence of ? if for any
assignment of truth values to atomic propositions
for which all of the members of ? true, f is also
true
-If f is a logical consequence of ?,write ??f
- Note: this is consistent with ?f when f is a
tautology
. This is important! It is the basis of
formalisation of arguments
Arguments
.An argument consists of:
-A set ? of formulae, called the
assumptions or hypotheses
- A formula f, called the conclusion
. If ??f then the argument is a valid
argument
Valid Arguments
. In other words:
An argument is valid if its
conclusion is a logical consequence
of its assumptions
Notation
. An intuitive way to write an argument
with a set of hypotheses ? and
conclusion f is as follows:
?
---
?f
hypotheses
conclusion
Example 1
. S...

## Related Documents

Definite Truth Values Notes

Propositional Exam

Propositional Exam

Open Question Exam

Open Question Exam

Propositional Exam

Conjunction Notes

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Being Needs Notes

Being Needs Notes

Different Values Exam

Equivocation Notes

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.