Se non sapete cos'è un predicato, leggetevi l'apposita guida.
Elenco delle operazioni che si possono fare con i predicati algebrici o logici:
Negazione
Congiunzione
Disgiunzione
La negazione è un operazione unaria, cioè opera su un solo operando e restituisce un valore di verità opposto. Ad esempio, se vero restituisce falso, se falso restituisce vero.
Il simbolo della negazione logica è questo ¬ ed è seguito dal predicato.
Esempio: dato un predicato p: "l'uomo è un mammifero", ¬p: "l'uomo non è un mammifero".
La congiunzione è un operazione binaria, cioè opera su due operandi. Il simbolo della congiunzione è ∧ e si trova in mezzo fra i due predicati, mentre il connettivo è: e. Essa restituisce un valore di verità vero soltanto se entrambi i predicati sono veri.
Esempio:
La disgiunzione è un operazione binaria, il suo simbolo è ∨ o v. Essa restituisce un valore falso solo se sono falsi entrambi i predicati dell'operazione. In tutti gli altri casi vero.
Nessun commento:
Posta un commento