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)
-Problema Lógica:

http://eduteka.icesi.edu.co/modulos/1/162/49/1

TEMA 2

-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

Nave Espacial (Bueno)

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

Nave Espacial

Scratch borrador

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