Term
|
Definition
The most basic sentences in FOL, those formed by a predicate followed by the right number (arity) of names (or complex terms, if the language contains function symbols). |
|
|
Term
|
Definition
the antecedent of a conditional is its first component clause. In p --> q, p is the antecedent and q is the consequent |
|
|
Term
|
Definition
the arity of a predicate indicates the number of arguments it takes. unary- 1 argument place binary- 2 argument places |
|
|
Term
|
Definition
The logical connectives conjunction, disjunction. and negation allow us to form complex claims from simpler claims. |
|
|
Term
|
Definition
the gramatical expressions of FOL... defined inductively |
|
|
Term
|
Definition
two kinds 1. a sequence of statements in which one (the conclusion) is supposed to follow from or be supported by the others (premises) 2. Another use refers to the term(s) taken by a predicate in an atomic wff or the argument places (correspondent to the arity). |
|
|
Term
Valid Validity Valid argument |
|
Definition
is an argument where the conclusion follows from the premises (regardless of the truth of the premises). If this occurs then the conclusion is a logical consequence of the premises. Logical consequence= it is impossible for all the premises to be true and the conclusion false |
|
|
Term
Sound Soundness Sound Argument |
|
Definition
An argument is sound only if it is valid (that is its conclusion is a logical consequence of its premises) and all the premises are true ex. if it rains, the ground gets wet it is raining right now therefore, the ground will become wet |
|
|
Term
|
Definition
a sentence that is logically true in virtue of its truth-functional structure. This can be checked using truth tables since S is a tautology iff every row of the truth table for S assigns true to the maine connective. ex. (A v ~A) |
|
|
Term
|
Definition
Two sentences are tautologically equivalent if they are equivalent simply in virtue of the meanings of the truth-functional connectives. This can be checked since Q and S are taut equiv iff every row of their joint truth table assigns the same value to teh main connectives of Q and S |
|
|
Term
|
Definition
exists between two sentences that are equivalent in virtue of their truth functional connectives, identity, and quantifiers. |
|
|
Term
|
Definition
Exists when a sentence S follows from some premises simply in virtue of the meaning of the truth-functional connectives. |
|
|
Term
|
Definition
|
|
Term
|
Definition
A sent S is a FO Consequence of some premise if S follows from the premises simply in virtue of the meanings of the truth-functional connectives, identity, and the quantifiers |
|
|
Term
|
Definition
Syntax=grammer Semantics= meaning of a sentence and its truth conditions |
|
|
Term
|
Definition
|
|
Term
Conjunction Elimination (^ Elim) |
|
Definition
|
|
Term
Disjunction Introduction ( v Intro) |
|
Definition
Pi . . . P1v....vPi....vPn
|
|
|
Term
Disjunction Elimination (v Elim) |
|
Definition
P1v...vPn Pn . ----
. .
. .
P1 .
---- S .
. S (Goal)
. S -->
|
|
|
Term
Does the conclusion have a negation in it? |
|
Definition
if yes--> use proof by contradiction ( negation introduction) |
|
|
Term
Do the premises have a disjunction? |
|
Definition
if yes --- use proof by cases |
|
|
Term
Does the conclusion have a conditional in it?
|
|
Definition
use a conditional proof. Do this by starting a subproof assuming the antecedent and deriving the consequent. |
|
|
Term
Do you have an existential quantifier in the premises? |
|
Definition
if yes-- start a subproof assume a random object a has whatever characteristic is attached to the existiential quantifier and then derive some quality Q. Then you can just conclude Q from the existential elim rule. |
|
|
Term
Do you have a Universal Quantifier as the conclusion? |
|
Definition
if yes-- use the universal intro rule assume random object a in a subproof conclude something about a and then you can conclude that all objects posess that something. |
|
|
Term
|
Definition
the procedure in which you replace all constituent parts with letters to determine their truth function |
|
|
Term
|
Definition
a quantified sentence of FOL is said to be a tautology iff its truth-functional form is a tautology |
|
|
Term
|
Definition
|
|
Term
|
Definition
Every tautology is a logical truth, but among quantified sentences there are many logical truths that are not tautologies. |
|
|
Term
|
Definition
|
|