Analisi matematica I
Elementi di logica — proposizioni logiche (V/F)
"z è un numero pari."
| p | ¬p |
| V | F |
| F | V |
Congiunzione logica — "p∧q" — "ed"
| p | q | p∧q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Disgiunzione logica — "p∨q" — "vel"
| p | q | p∨q |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Implica — "p => q"
(NON *→”) Se e solo se — “p q” — unione fra (p=>q) ∧ (q=>p)
| p | q | p => q | q => p | p q |
| V | V | V | V | V |
| V | F | F | V | F |
| F | V | V | F | F |
| F | F | V | V | V |
Analisi matematica I elementi di logica - proposizioni logiche (V/F)
"z è un numero pari."
| p | ¬p |
| V | F |
| F | V |
“non p.”
Congiunzione logica - “p ∧ q” - “ed”
| p | q | p ∧ q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Disgiunzione logica - “p ∨ q” - “vel”
| p | q | p ∨ q |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Implica - “p => q” (¬* ->)
| p | q | p => q |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Se e solo se - “p q” unione fra (p => q) ∧ (q => p)
| p | q | p => q | q => p | p q |
| V | V | V | V | V |
| V | F | F | V | F |
| F | V | V | F | F |
| F | F | V | V | V |
(p => q) (¬q => ¬p)
| p | q | p => q | ¬q | ¬p | ¬q => ¬p |
| V | V | V | F | F | V |
| V | F | F | V | F | F |
| F | V | V | F | V | V |
| F | F | V | V | V | V |
Leggi di De Morgan
→ ¬(p ∨ q) <=> ¬p ∧ ¬q ( ¬(p ∧ q)
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.