trabajos

Punto 1
*La razón de mi pensamiento y el motivo de mi creencia.
*La soledad de mi alma y el aislamiero de mi espíritu.
*El reconocimiento de su trabajo y el agradecimiento a su
labor.
Punto 2*“La bondad de Luisa y las buenas acciones de ella”.
Punto 3
P

Q

P^Q

PvQ

(P ^ Q)->(P v Q)

V

V

V

V

V

V

F

F

V

V

F

V

F

V

V

F

F

F

F

VPunto 4
(P ^ P) P
(P v P) P
(P ^ Q) (Q ^ P)
(P v Q) (Q v P)
Punto 5
Punto 6
Ningún conejo es gato.
Ninguna tortuga es conejo.
Por tanto, ninguna tortuga es gato.
Punto 7

*Lasproposiciones compuestas P y Q son lógicamente
equivalentes y se escribe P ≡ Q ́o P ⇐ Q cuando ambas
tienen los mismos valores de verdad.
“2 + 2 = 4”y “7 − 5 = 2”son ambas proposiciones verdaderaspero no son lógicamente equivalentes ya que ellas tienen
diferentes tablas de verdad (si se representa la primera por
p entonces la otra necesita tener otro simbolo, digamos q, y
sabemos que estas notienen la misma tabla de verdad).
Punto 8
“x>3”, “x=y+z”, “computadora x está bajo el ataque de un
intruso”, estudiante x no está atendiendo a la clase””.
Estos predicados no tienen valor deverdad si no se
especifica valores a la variable.
Cuantificadores Universales
1. Las palabras todo, cada uno, todos y ninguno se
denominan cuantificadores universales.
2. Las palabras hay y al menosuno se conocen como
cuantificadores existenciales.
3. Los cuantificadores son muy usados en matemáticas
para indicar cuantos casos existen de una situación
determinada. Su valor de verdad dependedel dominio de la
variable.
Punto 9
Lo que algunos llaman álgebra declarativa no es otra cosa
que el álgebra proposicional, o sea, la estructura algebraica
que se forma con expresiones utilizandolos conectivos
lógicos.

Una expresión sintácticamente correcta se le llama fórmula
bienformada (fbf) o simplemente fórmula y su definición es:
Una fórmula en lógica de proposiciones se...