Coimplicazione logica: esempio – La frase “se e solo se un numero è pari allora è divisibile per 2” è una coimplicazione logica; infatti, posto: p(x) : x è un numero pari q(x) : x è un numero divisibile per 2 Risulta che p(x) q(x) perchè ogni numero che rende vera la p(x), rende vera anche q(x), e viceversa
Coimplicazione logica: esempio – La frase “se e solo se un numero è pari allora è divisibile per 2” è una coimplicazione logica;
infatti, posto: p(x) : x è un numero pari q(x) : x è un numero divisibile per 2
Risulta che p(x) q(x)
perchè ogni numero che rende vera la p(x), rende vera anche q(x), e viceversa