Funzioni proposizionali se considero espressioni del tipo r non ( p et q ) oppure s ( p_ q ) r sono espressioni che assumono valori di verita' dipendenti dai valori di verita' delle espressioni componenti Siccome il valore di verita' di tutta l'espressione varia secondo i valori di verita' delle espressioni componenti tutta l'espressione viene chiamata funzione proposizionale come esempio troviamo i valori di verita' delle funzioni proposizionali considerate sopra 1) r non ( p et q ) costruisco la tavola di verita' di r partendo dalle proposizioni elementari p q p et q r = non(p et q) v v f f v f v f v f f f f v v v prima scrivo i valori possibili di p e q; per fare in fretta: in p: due veri e due falsi in q: vero, falso, vero, falso alternati nella terza colonna la congiunzione logica di p e q: vero solo se entrambe sono vere ed infine nell'ultima colonna la negazione della precedente: vero diventa falso e falso diventa vero 2) s ( p_ q ) r costruisco la tavola di verita' di s partendo dalle proposizioni elementari p, q ed r p q r p_ ( p_ q ) s = ( p_ q ) r v v v v f f f f v v f f v v f f v f v f v f v f f f f f v v v v f f f f v v f f v f v f v v v f prima scrivo i valori possibili di p, q ed r ;   per fare in fretta: in p: quattro veri e quattro falsi in q: due veri, due falsi, due veri e due falsi in r: vero, falso, vero, falso,.... alternati nella quarta colonna la negazione di p: vero diventa falso e falso diventa vero nella quinta la congiunzione logica fra p_ e q: il risultato e' vero solamente se le componenti sono entrambe vere ed infine nell'ultima colonna la disgiunazione inclusiva fra i valori trovati ed r: basta che una componente sia vera perche' tutta l'espressione sia vera Sopra ho usato nella prima la notazione discorsiva e nella seconda la notazione mediante simboli: abituati ad usarle entrambe: la prima ti serve per leggere le espressioni e la seconda, preferibilmente, per scriverle; Ad esempio la seconda si legge non p et q, vel r