9 Formalizacion

Definición 9.1.

Una proposicion es una oracion escrita en lenguaje natural de la que se podria afirmar que es verdadera o que es falsa.

Una proposicion atomica es una proposicion dentro de la que no puede encontrarse otra proposicion mas simple.

Observación.

El “o” no es excluyente: cierto si pasa cualquiera de las dos cosas o las dos a la vez.

Tiene un papel muy importante la implicacion:

Ejemplo.
  •  
    ​

    p: “Llueve”

  •  
    ​

    q: “Hace viento”

  •  
    ​

    p→q\displaystyle p\rightarrow q: “Si llueve, entonces hace viento”

p\displaystyle p recibe los nombres: premisa, hipotesis, condicion suficiente.

q\displaystyle q recibe los nombres: conclusion, tesis, condicion necesaria.

Observación.

Una implicacion solamente es falsa en el caso en que se cumpla la premisa p y no la conclusion q. En el ejemplo, solamente si llueve y no hace viento.

Veamos la doble implicacion como la conjuncion de dos implicaciones:

Ejemplo.

“Si llueve hace viento y si hace viento llueve”

Formalizacion: (p→q)∧(q→p)\displaystyle(p\rightarrow q)\wedge(q\rightarrow p) o p↔q\displaystyle p\leftrightarrow q

es lo mismo que: “Solo si hace viento llueve y si hace viento llueve”

es lo mismo que: “Llueve solo si hace viento y llueve si hace viento”

es lo mismo que: “Llueve si hace viento y llueve solo si hace viento”

es lo mismo que: “Llueve si y solo si hace viento”

Definición 9.2 (Razonamiento).

Llamamos razonamiento a un conjunto de premisas representadas por formulas φ1,φ2,…,φn\displaystyle\varphi_{1},\varphi_{2},\ldots,\varphi_{n} seguidas de una conclusion que se deduce de ellas, representada por una formula ψ\displaystyle\psi.

El razonamiento se presenta mediante la formula:

φ1∧φ2∧…∧φn→ψ\displaystyle\varphi_{1}\wedge\varphi_{2}\wedge\ldots\wedge\varphi_{n}\rightarrow\psi