|ONEs DE LOGICA . Definicién, ejemplos. Operaciones: negacién, conjuncidn, disyuncién, implicacién y doble implicacién. Principales leyes légicas. Funcién proposicional. Cuantificadores. INTRODUCCION: - Cuando vemos el simbolo <5) sabemos inmediatamente de qué se trata. Te Ja misma manera reconocemos el mensaje de “prohibido estacionar” 0 “contramano”. Estos mensajes deben ser claros y rpidos de visualizar, para que cumplan su objetivo. Cada ciencia, como la ret6rica, Ia lingitistica, la logica, la matemitica, la fisica,... utiliza y expresa sus resultados por medio de signos. Estos se relacionan entre sf mediante una sintaxis propia que, al igual que en las p. ails, debe ser respetada exactamente para que todos entiendan lo que pretende decirse. : Légic: matemitica ayuda a lograr este lenguaje porque utiliza simbolos y conectivos en forma sa, sn ambigtiedades. PROPOSICION Las proposiciones son oraciones afirmativas de las cuales tiene sentido decir si son verdaderas o falsas. Cusles de las siguientes oraciones son proposiciones Iogicas? a) Mafiana iremos a Ja montafia. b) Tengo ganas de comer pizza. ¢) En 1996 hubo un terremoto en Mendoza. :) Todos ios nifios son estudiosos. ¢) El ntimero x es par. £) gLa ley de accidentes de trabajo es la N° 24.446? 2) Complete el trabajo. de la siguiente manera: p: “5 es Notacién: las indicaremos con las letras minisculas p, 4, f Sb Pp visor de 40”. Asigne letras a cada oracién anterior que sea proposicién. ;Cuéles son verdaderas (V) y cuales falsas (F)? Proposiciones especiales: ‘Tautologia: también llamada ley logica, es toda proposicin que es siempre verdadera’. Jeebra de Boole se la llama proposicién ‘I’, y se asocia a un pasaje continuo de corriente en un circuito Sctrico, o una luz siempre encendida.Cont) iiecién: es toda proposicion que es siempre. falsa” Cuando una proposicién compuesta es a veres verdadera y otras Veees falsa, se dice que es una contingencia. OPERACIONES Con las proposiciones se realizan operaciones l6gicas Pare formar nuevas proposiciones que se llaman com; estas. Estas se definen, y luego se establecen sus propiedades. Por ejemplo: Sean las prope iciones simples: p: “Cuatro hombres estdn trabajando en or‘en” qi“Nos obreros: quieren usar casco” Una operacién compuesta entre py 4 podria ser Ia conjuncion (pig. 4): ‘pA’, que se lee PY 4 Representa la simultaneidad de las dos ‘afirmaciones: “Cuatro hombres estan trabajando en orden y dos obreros no quieren usar casco” La forma de operar con estas proposiciones ° utilizando Jas letras que las identifica. independientemente de su significado en el lengusje conriente. Hablaremos de las proposiciones P. d- sin tener en cuenta lo que representan. _Las operaciones logicas y los simbofes correspondientes Son: [Operacién ‘Simbolo |Se lee | ‘Negacion Ps nO Disyuncion o suma logica “lv jo (en sentido incluyente. yo) Conjuncion 0 producto Jogico in y jImplicacién o condicional pa implica, Dob:= implicacién ct icondicional |<> siy s6lo Si equivalent TABLAS DE VERDAD on Son tablas donde se contemplan todas las posibilidades de valores de V y F para cada una ée la proposiciones y las operaciones que intervienen. 5 Si se trata de una sola proposiciOn, hay s6lo dos posibilidades: V o F. Se neeesitan dos filas de 1 tabla, ademas del encabezado. (Vea negacién) > Si hay dos proposiciones, se requieren 4 Fenalones porque para cada valor de “P’ existen dc posibilidades para “ _ 2 Se identifica con “0” y se asocia con Ta felta de ci-culacién de corrien eo le luz epegada.operacion a te mal- Sisson tres las prop. iciones que intervienen, por ejemplo *p’, q’ y ‘1’. la tabla de verdad necesita ocho filas para cositemplar todas las posibilidades, segiin se observa en el siguien’ + erffice a) ry eer See v— ands ———+ F 5 Fn general para construir una tabla eon n proposiciones, se necesitan 2 * renglones. ~p selee‘nop” “La negacién de una proposicién p, afirta lo opuesto de lo que afirma “p’ En el ejemplo anterior, ~p: “No es cierto que cuatro hombres estén trabajando en orden” ‘También podria expresarse como “Cuatro hombres no estén trabajando en orden” 0 “Cuatro hombres estén trabajando en desorden’” Es obvio que si ‘p” es verdadera, “p’ ser falsa y vieeversa. Por lo tanto la tabla de verdad es: ayeye DISYUNCIO} La disyuncién entre dos o mis proposiciones es otra proposicién comp: N:pvq Selee‘poq ta, que solo es falsa cuando tadas las proposiciones componentes lo son. Por lo tanto serd verdaders cuando por lo menos una To cea Entonces, en una disyuncion de, por ejemplo, 5 proposiciones. siendo una sola verdadera es suficiente para que toda la operacién sea verdadera, La tabla es: pl|a|pya viv[ v viFl Vv Flv|_ Vv FLFl F es V,entonces ‘pvqvrvsvVvVw es V sin importar las demas proposiciones.