LPL4804 EXAM PACK 2023
1). Individual constants
Ans: Symbols that are used to refer to fixed individual objects
2). Determinate property
Ans: A property for which there is a definite fact of the matter whether or not the object
has that property
3). Atomic sentence
Ans: A sentence formed by a predicate followed by the right number of names
Ex. Taller (Claire, max) or Cube(a)
4). Prefix notion
Ans: The predicate precedes the arguement
5). Infix notation
Ans: When the two required names are on either side of the predicate
A=B
6). Claim
Ans: A claim is a description of a state of affairs
Claims are either true or false
Each atomic sentence of FOL must express a claim that is either true or false
7). Atomic sentence
Ans: a sentence formed from names and predicated.
A relation is expressed by a predicate with two or more places to put names to make an
atomic sentence.
Arguement
PaperStoc.com Page 1 of 8
, 8).
Ans: a combination of claims one of which is its conclusion and the others of which
are its premises
A1
A2
A3
---
C
premises = claims doing the supporting
conclusion = claims that are eing supported
9). What makes an arguement logically valid?
Ans: An arguement is logically valid if and only if there is no possible way that the
premises could all be true but the conclusion not true
10). If an arguement is logically valid, the conclusion is a ________
Ans: logical consequence of the premises
ex.
Left of (a,b)
-----
~Right of (a,b)
the second sentence is a logical consequence of the first
11). Does the conclusion of a logically valid arguement have to be true?
Ans: No. If one of the premises is false,the conclusion does not have to be true.
12). What makes an arguement logically sound?
Ans: An arguement is logically sound if and only if it is logically valid and its pemises
are all true
13). Does the conclusion of a logicall sound arguement have to be true?
Ans: yes because the pemises must all be true
14). What is the role of a proof?
PaperStoc.com Page 2 of 8
1). Individual constants
Ans: Symbols that are used to refer to fixed individual objects
2). Determinate property
Ans: A property for which there is a definite fact of the matter whether or not the object
has that property
3). Atomic sentence
Ans: A sentence formed by a predicate followed by the right number of names
Ex. Taller (Claire, max) or Cube(a)
4). Prefix notion
Ans: The predicate precedes the arguement
5). Infix notation
Ans: When the two required names are on either side of the predicate
A=B
6). Claim
Ans: A claim is a description of a state of affairs
Claims are either true or false
Each atomic sentence of FOL must express a claim that is either true or false
7). Atomic sentence
Ans: a sentence formed from names and predicated.
A relation is expressed by a predicate with two or more places to put names to make an
atomic sentence.
Arguement
PaperStoc.com Page 1 of 8
, 8).
Ans: a combination of claims one of which is its conclusion and the others of which
are its premises
A1
A2
A3
---
C
premises = claims doing the supporting
conclusion = claims that are eing supported
9). What makes an arguement logically valid?
Ans: An arguement is logically valid if and only if there is no possible way that the
premises could all be true but the conclusion not true
10). If an arguement is logically valid, the conclusion is a ________
Ans: logical consequence of the premises
ex.
Left of (a,b)
-----
~Right of (a,b)
the second sentence is a logical consequence of the first
11). Does the conclusion of a logically valid arguement have to be true?
Ans: No. If one of the premises is false,the conclusion does not have to be true.
12). What makes an arguement logically sound?
Ans: An arguement is logically sound if and only if it is logically valid and its pemises
are all true
13). Does the conclusion of a logicall sound arguement have to be true?
Ans: yes because the pemises must all be true
14). What is the role of a proof?
PaperStoc.com Page 2 of 8
