vuoi
o PayPal
tutte le volte che vuoi
I numeri reali
Vocabolario
Si parla di proposizioni (a cui posso attribuire il termine vero o falso). Si uniscono tra loro con connettivi e predicati:
- Connettivi:
-
- A ∧ BVera se A e Vera B
- Vera se è vera A o è vera B
- ¬ NON (linea sopra)Vera se è vera almeno una tra A e BA o Bf(x∪)Vera se è vero A e B
- ¬ NON¬A¬ è vera se e solo se A è falsa
- ¬ AProprietà:¬ (A ∧ B) ⟷ (¬A) ∨ (¬B) {leggi di De Morgan}¬ (A ∨ B) ⟷ (¬A) ∧ (¬B)
- A ⇒ B(solo A e vero B)⇒ implico
- Tabella di verità
- A V F F F
- B V F V F
- A ∧ B V F F F
- A ∨ B V F V V
- A ⇒ B(solo A e vero B) ⟾ tab di verità(¬A) ∨ B
- A = 78 V F V F
- (¬A) ∨ B V V V V
- A ⇔ B ⟶ Doppia implicazione (↔)o tutte e due V o tutte e due F
- A ⇔ V F F V
- se A allora B
- A condizione necessaria affinché B, B ⇒ A B cond. sufficiente, sufficiente