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