Universidad Tecnolégica de la Mixteca Célculo proposicional Para entender los valores de verdad de la condicional, supSngase que Susana una chica de la UTM, ha decidido lo siguiente : Si peso mds de 60 kg, entonces me inscribiré en la clase de educacién fisica. Si denotamos por, p : Pesomés de 60kg, q + meinscribiré en la clase de educacién fisica. Hay cuatro posibilidades. 1, Susana pesa més de 60 kg y se inscribe a la clase de fisica, En este caso, mantiene su promesa; por lo tanto la proposicién es verdadera. 2. Susana pesa mas de 60 kg, pero decide no entrar al curso de educacién fisica. En este caso, rompié su promesa; por lo tanto la proposicién es falsa, 3. Susana pesa 60 kg o menos, pero atin asf se inscribe en el curso de fisica (no rompié su promesa}, Por lo tanto, la proposicién es verdadera 4, Susana pesa 60 kg o menos y no se inscribe en el curso de educacién fisica (no rompio su promesa), por lo que la proposicisn es verdadera. Ejemplo 1.1.17 (Proposicién condicional). Supéngase que Miguel le dice a su amiga : Si consigo dinero, entonces te levo all cine. Hay cuatro posibilidades. 1. Miguel consigue dinero y Heva a su amiga al cine. En este caso, mantiene su promesa; por lo tanto la proposici6n es verdadera, 2. Miguel consigue dinero pero no leva a su amiga al cine. En este caso, rompié su prome- sa; por lo tanto la proposicién es falsa. 3. Miguel no consigue dinero pero a pesar de ello Heva a su amiga al cine (no rompié su promiesa), Por lo tanto, la proposicién es verdadera 4, Miguel no consigue dinero y no leva a su amiga al cine (no rompio su promesa), luego la proposicién es verdadera, tras formas de enunciar una proposicién condicional son las siguientes. Sip,entonces q, p slo sig, asip. Juan Luis Heméndez L6pez. 7Universidad Tecnolégica de la Mixteca Céleulo proposicional pes suficiente para g, 4 es necesario para p, implica g Sip.a con la condicién de que p. aya que p. 4 debido a que p. g puesto que p. Ejemplo 1.1.18 (Proposicisn condicional). Escribir la siguiente proposicién condicional en otras proposiciones equivalentes, Si hoy es viernes, entonces mafiana es sébado Solucién.- Ejercicio para realizar en clase. Ejemplo 1.1.19 (Proposicién condicional). Encontrar el valor de verdad de las siguientes porposiciones condicionales. 4) SiG es un miltiplo de 3, entonces 4 es par. ii) Si hoy es viemes entonces mafiana es sdbado. ii) Sid divide a 8, entonces 8 es miltiplo de 2 iv) Si Jorge Washington fue presidente de E.U., entonces la tierra es plana, ¥) Sila tierra es plana, entonces 2+ Solucién.- Ejercicio para realizar en clase. Definicién 1.1.20 (Proposicién reciproca, inversa y contrarreciproca). De la proposicién codicional p -+ g, se pueden formar otras tres proposiciones lama- das reefproca, inversa y contrarrecfproca. = Su reciproca es q + p. = Suinversa es =p 3 7g. = Su contrarreciproca es +g + +p. Juan Luis Heméndez Lépez. 8Universidad Tecnolégica de la Mixteca Célculo proposicional Ejemplo 1.1.21 (Reciproca, inversa y contrarreciproca de una proposicién condicional), Dada la proposicién: Si un niimero entero es miltiplo de 4, entonces es nniltiplo de 2” = Su reciproca es, ‘un mimero entero es miltiplo de 2, entonces es nniltiplo de 4” = Suinversa es, Si un nimero entero no es miltiplo de 4, entonces no es miltiplo de 2”. = Su contrarteciproca es. Si un ntimero entero no es miiltiplo de 2, entonces no es nniltiplo de 4” Ejemplo 1.1.22 (Reciproca, inversa y contrarreciproca de una proposicién condicional). Dada la proposicisn, "Si José estudia, entonces pasaré el examen” 1 Su reciproca es "Si José pasa el examen, entonces estudia” 1 Su inversa es i José no estudia, entonces no pasaré el examen” 1 Su contrarreefproca (0 contrapositiva) es "Si José no pasa el examen, entonces no estu- dia Definicién 1.1.23 (Proposicién bicondicional). Sip y q representan dos proposiciones, la proposicién compuesta (p si y solo si g), se denota por p + q, y sc llama bicondicional de p y q. La tabla de verdad para el conectivo I6gico bicondicional es la siguiente. pla|peae Vivi _v VIF[-F F[V[ F FFT Vv Ejemplo 1.1.24 (Proposicién bicondicional). i) 3 A Osiy solo sid? 4 16. ii) 5? = 25 siy solo si2+3 = 6 iii) 26 es un miimero impar si y solo si es de dia iv) Hoy es viernes si y solo si mafiana es sabado, Juan Luis Hemnindez Lopez. 9>, 3 Universidad Tecnolégica de la Mixteca Céleulo proposicional 1.2, Tablas de verdad. ada una proposicién compuesta, se puede determinar su valor de verdad conociendo el valor de verdad de las proposiciones simples que la conforman. Ejemplo 1.2.1 (Tablas de verdad de varias proposiciones). Encontrar las tablas de verdad de las siguientes proposiciones compuestas. i (Ag Vw 9). (Pa) (q>P) iit) 9 (or +) W) (Pa) (GA) > Vr) Solucién.- i) La tabla de verdad para la proposicién compuesta, Aa Vr~P> 4), ii) La tabla de verdad para la proposicién compuesta, (Poa Alap), ii) La tabla de verdad para la proposici6n compuesta, anor Pp), es Juan Luis Heméndez Lépez. 10Universidad Tecnolégica de la Mixteca Célculo proposicional iv) La tabla de verdad para la proposicién compuesta, (Pa) Al(qarr) es VT Vv Fi v vioF mammdd< cle mane anon mn (vr) a PA(PAQ). i) “(pv q) © (PA~a). Solucién.- i) La tabla de verdad para la proposicién compuesta PARTI 44a 6 plalpa & > a > @ vp ov v v[r} FF v Flv] FOV v Flr] FOV v La proposicién es una tautologia. ii) La tabla de verdad para la proposicién compuesta PACPAQ), 6 plal|pa tp ro VPV> FO FF vie] FoF F Fly] Fv ov Flr] Fv F Juan Luis Heméndez Lépez. 12Universidad Tecnolégica de la Mixteca Célculo proposicional La proposicién es una contradiccién. iii) La tabla de verdad para la proposicién compuesta (PV a) (Pp Ana), es =v9) (cp La proposicién es una tautologt Juan Luis Hemnindez Lopez. 3