Practica 1: Realizar las operaciones lógicas según los enunciados

1) Dada las proposiciones

p= “Bill Gates es el fundador de apple”
q= “ADA es un lenguaje de programación”
Realizar la escritura y encontrar el valor de verdad de p → q
2) Dada las proposiciones
t= “la negación es una operación monaria”
q= “la lógica tiene que ser claro, preciso y desformal”
Realizar la escritura y encontrar el valor de verdad de a) (q∧t) b) (t v q )
3)
q= "Sócrates era dicípulo de Platón"
r = "the machine has mainboard "
s= "Android es un lenguaje de Programación"
p1= "Solaris es un sistema Operativo"
r1=" 2+3*8=26 "
p2="2+8+9"
p3= "Gimp es un programa para diseño gráfico"
p4="El Tunari se encuentra en Pando"
Realizar la escritura y encontrar el valor de verdad de
a) (q∧r)
b) (s <--> p1 )
c) (r1 p2 )
d) (p3 → p4 )

Practica 2: Práctico de Tablas de Verdad

Realizar en sus cuadernos y subir solo imágenes de su realización

1) (p v q) ∧ ( ~q  p)
2) (p ∧ q) ∧ ( ~r  p)
3) {(p v ~q) ∧ ( q  p)} -> ~p
4) ~(p ∧ q)
5) ~ (p  ~ q)  ~(p  q)
6) (q  p)  (p  q)
7) ∼( p v ∼ q ) ∧ r
8) ∼p ∧ ∼q
9) [(p ∧ ∼ q) ⇒ (r v p) ] ⇔ [ ∼ q ∧ (r v p) ]
10) [p ∧ (p ⇒ q) ] ⇒q
11) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
12) [(p ∧ ∼q) ⇒ q ]⇔ (p ⇒ q)
13) [(p ⇒ q) ∧ ~p] ⇒~q
14) [(a ⇒ b) ∧ (b ⇒c)] ⇔ (a ⇒ c)
15) (p ⇒q) v (p ⇒ r)