# Spójniki logiczne

Nasza ocena:

Pobrań: 21
Wyświetleń: 931
Komentarze: 0

### Pobierz ten dokument za darmo

Podgląd dokumentu

## Fragment notatki:

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)

Zaloguj się, aby dodać komentarz