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