To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Logic connectives The logic connectives are: not ∼ and ∧ or ∨ if...then (implies) = ⇒ if and only if (equivalent) ⇐⇒ Examples of compound statements: ” Today is not Monday.” (truth-value = 1); 2 x = 2 if and only if x = 1 . (truth-value = 1); If x = 2 and y = 3 then x + y = 100 . (truth-value = 0) p and q - sentences in logic sense. The negation ∼ p is true if p is false and vice versa. The conjunction p ∧ q is true only if both sentences p and q are true. The disjunction (alternative) p ∨ q is false only if both sentences p and q are false. p ∨ q - ” p or q or both” - inclusive or ; p ∨ q - ” p or q but not both” - exclusive or . The exclusive disjunction p ∨ q is false if both sentences p and q have the same logic value. The implication (conditional) p = ⇒ q is false only if p is true as q is false. p - the antecedent of the implication; q - the consequent of the implication. The equivalence (biconditional) p ⇐⇒ q is true if both sentences p and q have the same logic value. Logic
... zobacz całą notatkę
Komentarze użytkowników (0)