logica

1) El hombre más fuerte del mundo: no es proposición
2) El director del periódico: no es proposición
3) ¡Quién se ganara el Kino!: no es proposición
4) 13 + 7: no es proposición
5) ¡Tú tecallas!: no es proposición
6) O está lloviendo y nevando o está soplando el viento: (P & Q) v R
7) Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de losderechos civiles: P -> ~ Q
8) Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis. Luego, si viene en tren o si viene en coche, llegará antes de las seis: {[(P -> Q) &(R -> Q)] & (P v Q)} => Q es molecular.
9) Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran alrededor de ellas: (~P & Q) => ~R
10) Si tuvieranque justificarse ciertos hechos por su enorme tradición entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría ningún problema. Pero si los hechos sonbárbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no podríamos considerarnos dignos de nuestro tiempo: {[(P -> Q) & (R & S)] & ~T} & [~Qv (~R v ~S)] => (~P v ~X) Molecular
11) Todo número entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, entonces esdivisible por ellos. Pero si un número entero es primo, no es compuesto, aunque es divisible por sí mismo y por la unidad, y consiguientemente, también divisible por números primos.
Por tanto, todo númeroentero es divisible por números primos: {[(P v Q) v R] & [(R -> S) & (S -> T)]} & {[(Q -> ~R) & (T & X)]} => (P -> X) Molecular
12) Federicose irá a las Fiji o a las Seychelles si y sólo si le toca la lotería y no se arruina en la ruleta: (P v Q) (R & ~T) Molecular.
13) Si no sabes inglés ni francés, te contrato en mi empresa si, y...