definizione di $A\subset B$

[qxtr01]

la 7) e la 8) sono rispettivamente due proposizioni del tipo $P\wedge(Q\vee\not P)$ e $P\wedge Q$, le cui tabelle di verità coincidono, quindi il ragionamento dovrebbe andare bene in entrambi i sensi.