Connettivi logici – I connettivi logici ( congiunzione “e”, disgiunzione “o”, implicazione “se…allora”, coimplicazione “se e solo se”, … ) uniscono le singole proposizioni, formando così nuove proposizioni chiamate proposizioni composte. L’obiettivo del calcolo logico è quello di stabilire il valore di verità ( V o F ) di una proposizione composta a partire dai valori di verità delle singole proposizioni che la compongono, determinando cioè la tavola di verità.
Connettivi logici – I connettivi logici ( congiunzione “e”, disgiunzione “o”, implicazione “se…allora”, coimplicazione “se e solo se”, … ) uniscono le singole proposizioni, formando così nuove proposizioni chiamate proposizioni composte.
L’obiettivo del calcolo logico è quello di stabilire il valore di verità ( V o F ) di una proposizione composta a partire dai valori di verità delle singole proposizioni che la compongono, determinando cioè la tavola di verità.