Relier Pairs El lenguaje de la lógicaVersion en ligne Une la proposición con su simbolización par Carlos Olaya 1 Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles. 2 No vi la película, pero leí la novela 3 Si no estuvieras loca, no habrías venido aquí 4 No vi la película ni leí la novela 5 Si viene en tren, llegará antes de las seis. Si viene en carro, llegará antes de las seis. Luego, tanto como si viene en tren como en carro, llegará antes de las seis. 6 O está lloviendo y nevando o soplando el viento (p^q) v r ¬p→¬q ¬p^¬q ¬p^q [(p→q)^(r→q)]→[(p v r)→q] p→¬(q^r)