Transcription of Glossary of logical terms
{{id}} {{{paragraph}}}
Copyright 2004, S. Marc Cohen Revised 5/31/04 Glossary -1 Glossary Antecedent: The antecedent of a conditional is its first component clause (the if clause). In P Q, P is the antecedent and Q is the consequent. Antisymmetric: a binary relation R is antisymmetric iff no two things ever bear R to one another, , R satisfies the condition that x y [(R(x, y) R(y, x)) x = y]. Argument: Argument is used in two different senses in logic. 1. Arguments as pieces of reasoning: an argument is a sequence of statements in which one (the conclusion) is supposed to follow from or be supported by the others (the premises).
negation: ∃x ¬P(x). The second tells us that the negation of an existential generalization, ¬∃x P(x), is logically equivalent to a universal generalization of a negation: ∀x ¬P(x). These laws are also known as the quantifier/negation equivalences. Disjunct: One of the component sentences in a disjunction. For example, A and B are the ...
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}