Relier Pairs El lenguaje de la lógicaVersion en ligne Une la proposición con su simbolización par Carlos Olaya 1 Si no estuvieras loca, no habrías venido aquí 2 No vi la película, pero leí la novela 3 No vi la película ni leí la novela 4 O está lloviendo y nevando o soplando el viento 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 Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles. p→¬(q^r) ¬p^q (p^q) v r ¬p→¬q ¬p^¬q [(p→q)^(r→q)]→[(p v r)→q]