El documento habla sobre la lógica formal. La lógica formal estudia los principios de la demostración e inferencia válida examinando la validez de los argumentos en términos de su estructura independientemente del contenido. Los operadores lógicos como la conjunción, disyunción e implicación se utilizan para darle orden lógico a las búsquedas.

1. 01
Logica Formal

2. la logica formal es la
ciencia que estudia los
principios de la
demostracion e inferencia
valida
02

3. la logica formal examina la
validez de los argumentos en
terminos de su
extructura,independientemente
del contenido de su extructura
03

4. 04
Son palabras o simbolos
que se utilizan para darle
a una busqueda un orden
logico
Pormedio de ellos se
puede conducir una
busqueda en vez de
conformarse con lo que
obtuvos
Operadores logicos

5. Los operadores logicos Pueden utilizarce
para evitar terminos no deseados o por el
contrario para establecer que terminos
deben aparecer en el vinculo buscado

6. Un enunciado o una forma
proposicional es una verdad
logica si resultan siempre
verdaderos cualesquiera que
sean las interpretaciones que
hagamos como ejemplos de
sustitucion de las variables o de
los enunciados primitivos
Es una caracteristica
semantica que
incumbe a una
proposicion o
enunciado en virtud
de su forma logica o
su estructura logica
VERDAD LOGICA

7. Un enunciado es una verdad
logica si es una inferencia
valida sin premisas, esto es,
una tautologia o un teorema
semantico o logico
Tabla De Verdad

8. 14
conectores
se utiliza un esquema con
tres columnas, una por
cada proposicion atomica
y una terceraque es la que
muestra el valor
verdadero.
el unico conector
unitario aceptado por
la logica formal es la
negacion cuya forma
es ¬.
Binarios
Unitarios

9. Conjuncion
cuyo simbolo es ^ ,
une las expresiones y
o tambien cumple la
funcion de unir dos
proposiciones
atomicas .
Disyuncion
cuyo simbolo es V, recoge la
expresion o e implica que
solo es necesario que una
de las proposiciones
atomicas sea verdadera
para que la proposicion
tambien lo sea

10. Implicacion
la implicacion cuyo simbolo es p, este conector es de
gran importancia puesto que expresa la nocion de
consecuencia logica, esta significa:
si..., entonces..., y
un condicional logico tiene la forma p--->q, la p del
condional se denomina antecedente y la q,
consecuente.