Lógicas das Proposições

• Tabelas Verdade para Formas de Argumento

  • Tabelas-Verdade podem ser usadas, não apenas para definir a semântica do conectivos, mas também para testar a validade de sentenças.
    
  • A Rainha ou a Princesa comparecerá à cerimônia.
  • A Princesa não comparecerá.
  • Logo, a Rainha comparecerá.
    R V P, ? P ? R

P

R

? P

P V R

V

V

F

V

V

F

F

V

F

V

V

V

F

F

V

F

R

V

F

V

F

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico