Lógica/Lógica Tradicional: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 56:
 
===Oposições===
:Oposições são relações entre proposições de tipos distintos com os mesmos termos nas mesmas posições de sujeito e predicado - exemplos: "Todo corvo é preto" ('''A'''), "Nenhum corvo é preto" ('''E'''), "Algum(ns) corvo(s) é(são) preto(s)" ('''I'''), "Algum(ns) corvo(s) não é(são) preto(s)" ('''O''') - acerca do valor (verdadeiro ou falso) que cada uma deve receber no mesmo sistema ou contexto em vista dos valores das demais.
:Exemplo: Dadas as proposições "Todo corvo é preto" (A), "Nenhum corvo é preto" (E), "Algum(ns) corvo(s) é(são) preto(s)" (I), "Algum(ns) corvo(s) não é(são) preto(s)" (O), o valor (verdadeiro ou falso) da primeira determina o valor das demais dentro do mesmo contexto.
:Todas oposições são recíprocas.