Tablas de verdad de las conectivas lógicas
Enviado por nanin3 • 3 de Febrero de 2013 • Informes • 612 Palabras (3 Páginas) • 400 Visitas
SADSODKEFJR RJFUSABFRJA RAFBRAFBRAJFBD RIFBRS RBFBRUS
Tablas de verdad de las conectivas lógicas
Veamos paso a paso la construcción de una tabla de verdad. Iniciaremos con la tabla de la conjunción.
La tabla de la conjunción
Pongamos como ejemplo la proposición compuesta:
“Luis es inteligente y simpático”
PASO 1
Determino cuántas proposiciones simples tengo.
En este caso observo que tengo dos:
1) “Luis es inteligente”
2) “Luis es simpático”
Recordemos que por cuestiones de estilo no repito el sujeto, pero sé que en ambas oraciones me refiero al mismo sujeto, que en este caso es Luis.
PASO 2
Represento cada proposición simple con una letra. Se acostumbra usar la letra p para la primera proposición y la letra q para la segunda:
p: “Luis es inteligente”
q: “Luis es simpático”
PASO 3
Traduzco la proposición compuesta a lenguaje simbólico:
p q
PASO 4
Dibujo una tabla en la que quedarán escritas las proposiciones en la parte superior y los valores de verdad que asumen las mismas justo debajo de ellas. Para saber cuántas posibles combinaciones de verdad tiene mi proposición compuesta aplico la siguiente fórmula:
Número de combinaciones = 2n
El 2 se refiere a los valores de verdad que puede asumir una proposición (que dentro de esta Lógica sólo son dos: verdadero o falso) y n se refiere al número de proposiciones simples que conforman la proposición de la que queremos construir la tabla.
En el ejemplo tenemos 2 proposiciones simples, por lo que:
...