leyes

 Leyes y reglas de la inferencia

• P “Llueve”
• ⌐q “Las calles no se mojan”
• ⌐(⌐) “No ocurre que Ana no es una estudiante”
• Q “pedro es policía”
• p^q “Tengo una manzana y tengo una pera”
• q→r “Si la bola blanca golpea a la bola negra, la bola negra se mueve”
• p˅r “Llueve a la tierra tiembla”
•