Search results
Results From The WOW.Com Content Network
"First conditional" or "conditional I" refers to a pattern used in predictive conditional sentences, i.e. those that concern consequences of a probable future event (see Types of conditional sentence). In the basic first conditional pattern, the condition is expressed using the present tense (having future meaning in this context).
A full conditional thus contains two clauses: the subordinate clause, called the antecedent (or protasis or if-clause), which expresses the condition, and the main clause, called the consequent (or apodosis or then-clause) expressing the result. To form conditional sentences, languages use a variety of grammatical forms and constructions.
The first premise is a conditional ("if-then") claim, such as P implies Q. The second premise is an assertion that Q, the consequent of the conditional claim, is not the case. From these two premises it can be logically concluded that P, the antecedent of the conditional claim, is also not the case. For example:
Causal conditional, if X then Y, where X is a cause of Y; Conditional probability, the probability of an event A given that another event B; Conditional proof, in logic: a proof that asserts a conditional, and proves that the antecedent leads to the consequent; Material conditional, in propositional calculus, or logical calculus in mathematics
The "if"-clause of a conditional sentence is called the protasis, and the consequent or main clause is called the apodosis. The negative particle in a conditional clause is usually μή ( mḗ ), making the conjunctions εἰ μή ( ei mḗ ) or ἐὰν μή ( eàn mḗ ) "unless", "if not".
The corresponding logical symbols are "", "", [6] and , [10] and sometimes "iff".These are usually treated as equivalent. However, some texts of mathematical logic (particularly those on first-order logic, rather than propositional logic) make a distinction between these, in which the first, ↔, is used as a symbol in logic formulas, while ⇔ is used in reasoning about those logic formulas ...
In propositional logic, material implication [1] [2] is a valid rule of replacement that allows a conditional statement to be replaced by a disjunction in which the antecedent is negated. The rule states that P implies Q is logically equivalent to not-or and that either form can replace the other in logical proofs.
For example: 'I would sit': ül (sit) + ne + k (referring to the person I) = ülnék. (In Hungarian, when a word ends with a vowel, and a suffix or a marker or an affix is added to its end, the vowel becomes long.) When making an if-sentence, the conditional mood is used in both apodosis and the protasis: Elmennék Olaszországba, ha lenne ...