Oldest pages

Showing below up to 20 results in range #71 to #90.

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

71. Correção e completude para a Lógica Proposicional Clássica‏‎ (13:22, 6 October 2020)
72. Assinatura de primeira ordem‏‎ (13:25, 6 October 2020)
73. Termos de primeira ordem‏‎ (13:25, 6 October 2020)
74. Fórmulas de primeira ordem‏‎ (13:26, 6 October 2020)
75. Estratégias de demonstração‏‎ (13:45, 6 October 2020)
76. Exercícios de semântica formal para a Lógica Proposicional Clássica‏‎ (13:47, 6 October 2020)
77. Acarretamento‏‎ (17:10, 7 October 2020)
78. Lógica de primeira ordem‏‎ (17:59, 7 October 2020)
79. Sintaxe da lógica de primeira ordem‏‎ (21:11, 8 October 2020)
80. Correção e completude‏‎ (17:58, 12 October 2020)
81. Modelos (lógica)‏‎ (20:19, 15 October 2020)
82. Semântica formal para a lógica proposicional‏‎ (20:30, 15 October 2020)
83. Semântica formal para a lógica de primeira ordem‏‎ (20:37, 15 October 2020)
84. Relação de consequência‏‎ (20:38, 15 October 2020)
85. Sintaxe da lógica proposicional‏‎ (20:41, 15 October 2020)
86. Definição recursiva da linguagem proposicional‏‎ (20:43, 15 October 2020)
87. Formalismos dedutivos‏‎ (20:49, 15 October 2020)
88. Quantificadores‏‎ (20:56, 15 October 2020)
89. Dedução Natural‏‎ (20:59, 15 October 2020)
90. Dedução Natural para a Lógica de Primeira Ordem Intuicionista‏‎ (21:01, 15 October 2020)

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)