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/

Infografía Tipos de conocimiento

Glosario

 A -ARTE
 B
 C -CONCRETO -CRÍTICO -CIRCULO VICIOSO -CIENCIAS FORMALES -CIENCIAS  EMPÍRICAS -CLASIFICAR
 D -DEMOSTRACIÓN -DEMOSTRABLE -DEFINICIÓN
 E
 F
 G
 H -HIPÓTESIS
 I
 J
 K
 L
 M
 N -NECESIDAD DEL CONOCIMIENTO NO CIENTIFICO
 O -OBSERVABLE
 P -PERSPECTIVA CIENTÍFICA -PASOS DEL MÉTODO CIENTÍFICO -PREGUNTAS DIVERGENTES -PREGUNTAS ANALÍTICAS -PREGUNTAS HIPOTÉTICAS
R -REALIDAD PROBLEMÁTICA -RAZÓN INSTRUMENTAL -REVISABLE
S -SENTIDO COMÚN
T -TIPOS DE CONOCIMIENTOS -TEORÍA CIENTÍFICA
U
V
Z