Silogismo
---------

Regra do silogismo:

Proposição 1: A é um B
Proposição 2: C é um A
Portanto, C é um B


Exemplos para o programa silog.bas

UMA AGUIA E' UMA AVE
      > OK.

UMA AVE E' UMA CRIATURA COM ASAS
      > OK.

E' UMA AGUIA UMA CRIATURA COM ASAS?
         (Procuro AGUIA)
          (Encontra-se em 1,1)
      > Sim


UMA AVE E' UM VOADOR
      > Ok.

E' UMA AGUIA UM VOADOR?
         (Procuro AGUIA)
          (Encontra-se em 1,1)
      > Sim

E' UM VOADOR UMA CRIATURA COM ASAS?
         (Procuro VOADOR)
          (Encontra-se em 1,4)
      > Sim


? ?
Tema a verificar? AVE
2 2 AGUIA
3 2 CRIATURA COM ASAS
4 2 VOADOR

Tema a verificar? AGUIA
2 1 AVE

Tema a verificar? VOADOR
2 4 AVE


Como fica a matriz:
-------------------

  1			2     	 		3			4
1 AGUIA			AVE			CRIATURA COM ASAS	VOADOR
2 AVE			AGUIA			AVE			AVE
3        		CRIATURA COM ASAS
4        		VOADOR
5

-------------------------------------------------

Alguns comandos:

? <enter>

Termina o programa


? ?
Tema a verificar ?

Verifica tema

-------------------------------------------------

Outro exemplos:

TIM E' UM LOCO
UM LOUCO E' UM IDIOTA
E' TIM UM IDIOTA?

Tema a verificar? TIM
2 1 LOUCO

Tema a verificar? LOUCO
2 2 TIM
3 2 IDIOTA

Tema a verificar? IDIOTA
2 3 LOUCO


UM GALO E' UM IDIOTA
E' TIM UM GALO?
E' UM GALO UM LOUCO?
