Matching Pairs Formalización proposicionalOnline version Ejercicios básicos para tablas by Jaime Edmundo Vega Rivero 1 No es cierto que llueve 2 Llueve o hace sol 3 Llueve y no hace sol 4 Si no llueve hace sol 5 Hace sol si y solo si no llueve 6 No es cierto que no llueve 7 Llueve y hace sol p ^ q ~ (~p) ~p p v q p ^ ~q ~p --> q q <-> ~p