Implicazione logica: esempio – La frase “se un numero è multiplo di 9, allora è multiplo di 3” è una implicazione logica; infatti, posto: p(x) : x è un numero multiplo di 9 q(x) : x è un numero multiplo di 3 Risulta che p(x) q(x) perchè ogni numero che rende vera la p(x), rende vera anche q(x)
Implicazione logica: esempio – La frase “se un numero è multiplo di 9, allora è multiplo di 3” è una implicazione logica;
infatti, posto: p(x) : x è un numero multiplo di 9 q(x) : x è un numero multiplo di 3
Risulta che p(x) q(x)
perchè ogni numero che rende vera la p(x), rende vera anche q(x)