Hint  Answer 
A collection of objects  
a set that contains only ordered pairs  
the relation R such that for any element d of the set s, the pair (d,d) is an element of R  
the relation R such that for any elements d, e of the set S, if (d,e)∈R then (e,d)∈R  
the relation R such that for no elements d, e of the set S: (d,e)∈R and (e,d)∈R  
the relation R such that for no two distinct elements d, e of S: (d,e)∈R and (e,d)∈R  
the relation R such that for all elements d,e,f of the set s: if (d,e)∈R and (e,f)∈R then also (d,f)∈R  
what is the difference between asymmetry and antisymmetry?  
the outer brackets may be omitted from a sentence that is not part of another sentence  
the inner set of brackets may be omitted from a sentence of the form ((φ^ψ)^χ)  
an assignment of exactly one truthvalue (T or F) to every sentence letter of L1  
a binary relation R such that for all elements d,e,f: if (d,e)∈R and (d,f)∈R then e=f  
for a function R, the set {d: there is an e such that (d,e)∈R}  
of a function R, the set {e: there is a d such that (d,e) ∈R)  
a set containing only ntaples, called relation of arity n  
 Hint  Answer 
consists of a set of declarative sentences (the premises) and a declarative sentence (the conclusion) maked as the concluded sentence  
an argument for which there is no interpretation under which the premises are true and the conclusion is false  
the set obtained by adding the negation of the conclusion to the premises is inconsistent  
a sentence which is true under any interpretation  
a sentence which is false under any interpretations  
sentences which are true under exactly the same interpretations  
a sentence of L1 which is true under all L1 structures (AKA tautology)  
a sentence of L1 which is not true in any L1 structure  
a sentence φ and a sentence ψ are logically equivalent iff both are true in exactly the same L1 structures  
a connective for which the truthvalue of the compound sentence cannot be change by replacing a direct subsentence wiht another sentence having the same truthvalue  
an english sentence which has a formalisation in propositional logic that is logically true)  
a sentence which has a formalisation in propositional logic that is a contradiction  
an english sentence in which the set of all their formalisation in propositional logic is semantically consistent  
an argument in english for which the formalisation in L1 is valid  
 

Show Comments