examen de la 4 unidad tec de valladolid yucatan

Lógica proposicional
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.[1]
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, ovariables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos paraconectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.[
Proporción concepto
La proporción muestra los tamaños relativos de dos o más valores.

Las proporciones pueden mostrarse de diferentes maneras. Usando el ":" para separar losvalores, o como un solo número dividiendo un valor para el total.

Ejemplo: si hay un niño y tres niñas la proporción podría escribirse así:

1:3 (por cada niño hay 3 niñas)
1/4 son niños y 3/4 son niñas
0.25 son niños (dividiendo 1 por 4)
25% son niños (0.25 como porcentaje)
Proposición compuesta
Disyunción
La disyunción es un operador que opera sobre dos valores de verdad, típicamentelos valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

Tabla de verdad de la disyunción



Conjunción
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor deverdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
Negación
La negación es un operador que se ejecuta. sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
condicional
El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valoresde verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, yverdadero en cualquier otro caso.La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q
Bicondicional.
El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad,típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
Tablas de verdad
Para empezar debemos de conocer los Símbolos de las conectivas:
NEGACION: ¬,                  se lee “No es cierto que …”
CONJUNCION:^,             se lee “… y …”
DISYUNCION: v,            se lee “… o …
CONDICIONAL: →,         se lee “si … entonces …”
BICONDICIONAL: ↔,     se lee “… si y solo si …”


la negación es una conectiva lógica que transforma un enunciado en su opuesto lógico y se le llama conectiva singular porque se aplica sobre un solo enunciado

Tabla de Verdad Negación
la conjunción es una conectiva lógica que enlaza dos enunciados dando como resultadouna fórmula que será verdadera solamente cuando sus enunciados componentes son verdaderos

Tabla de verdad conjunción
la disyunción es una conectiva lógica que enlaza dos enunciados dando como resultado una fórmula que será verdadera solamente cuando al menos uno de sus enunciados componentes es verdaderos, siendo falsa cuando ambos son falsos

Tabla de Verdad Disyunción
la condicional es...