Tareas tema 2

-Proyecto: Crea un programa en scratch donde se traduzcan las siguientes expresiones lógicas: Negación, Conjunción, Disyunción y Condicial.
-Tablas de verdad:
  a) (p^q)^¬p
  b) ¬p^¬¬q
  c) ¬(¬p^q)
  d) p^(q^r)
  e) (¬p^¬q)^r
  f) (p^¬q)^¬r
  g) (¬¬p^q)^(¬r^p)
  h) p->¬qvr
  i) p^q->¬r
  j) p^q->qvr
  k) ¬pv(¬q->r)
  l) ¬p^q <-> qvr
  m) [(p->q) ^ (q->r)] -> (p->r)

Enlaces interesantes: http://eduteka.icesi.edu.co/

https://support.google.com/vault/answer/2474474?hl=es

Tema 2 glosario

--LÓGICA--
A
Argumento
B
Bicondicional
C
Ciencia formal
Condicional
D
Disyunción
L
Lenguaje Artificial
Lógica
N
Negación
R
Reglas de orden entre signos lógicos
T
Tabla de verdad
V
Variables

La nave espacial

https://scratch.mit.edu/projects/133791807/