Koşullu Önerme(İse) Mantığı Nedir?

n pozitif bir tam sayı olmak üzere, her bir p(n) ve q(n) önermeleri için;

p(n) --》q(n) koşullu (ise) önermesi şu anlama geliyor: eğer p(n) doğruysa q(n) de doğrudur. Örneğin p(n)'lere gerçek hayattaki birçok faktör diyelim; o hâlde p(n) --》q(n) bir anlamda şu demek olur: p(n) faktörleri doğruysa bu p(n)'ler bizi q(n)'lere götürür yani q(n)'ler de doğrudur.