next up previous
Next: Provas com quantificadores. Up: Estruturas Interpretativas Previous: Verdade e Falsidade em

Problemas

A.
Para cada uma das seguintes fórmulas exiba uma estrutura interpretativa na qual a fórmula é verdadeira e outra onde é falsa.
  1. tex2html_wrap2904
  2. tex2html_wrap2905
  3. tex2html_wrap2906
  4. tex2html_wrap2907
  5. tex2html_wrap2908
  6. tex2html_wrap2909
  7. tex2html_wrap2910
  8. tex2html_wrap2911
  9. tex2html_wrap2912
  10. tex2html_wrap2913
  11. tex2html_wrap2914
  12. tex2html_wrap2915
  13. tex2html_wrap2916
  14. tex2html_wrap2917
  15. tex2html_wrap2918
B.
Para cada um dos seguintes conjuntos de fórmulas determine uma estrutura interpretativa onde a última fórmula é falsa mas as restantes são verdadeiras.
  1. tex2html_wrap2919

    tex2html_wrap2920

  2. tex2html_wrap2921

    tex2html_wrap2922

  3. tex2html_wrap2919

    tex2html_wrap2924

    tex2html_wrap2925

    tex2html_wrap2926

  4. tex2html_wrap2927

    tex2html_wrap2928

    tex2html_wrap2929

  5. tex2html_wrap2930

    tex2html_wrap2931

    tex2html_wrap2927

  6. tex2html_wrap2933

    tex2html_wrap2934

    tex2html_wrap2935

    tex2html_wrap2936

  7. tex2html_wrap2533

    tex2html_wrap2938

  8. tex2html_wrap2939

    tex2html_wrap2940

    tex2html_wrap2941

  9. tex2html_wrap2942

    tex2html_wrap2943

    tex2html_wrap2944

  10. tex2html_wrap2945

    tex2html_wrap2946

    tex2html_wrap2947

  11. tex2html_wrap2948

    tex2html_wrap2949

    tex2html_wrap2950

  12. tex2html_wrap2951

    tex2html_wrap2952

    tex2html_wrap2953

    tex2html_wrap2954

  13. tex2html_wrap2955

    tex2html_wrap2956

  14. tex2html_wrap2957

    tex2html_wrap2958

    tex2html_wrap2959

    tex2html_wrap2960

  15. tex2html_wrap2961

    tex2html_wrap2921

    tex2html_wrap2963

  16. tex2html_wrap2964

    tex2html_wrap2965

    tex2html_wrap2966



Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997