Cevaplar

2012-09-13T13:34:15+03:00

ONAYLANMIŞ CEVAP

×
Uzmanlar tarafından teker teker incelenmiş onaylı cevaplar, doğru ve güvenilir bilgileri içermektedir. Eodev içerisinde moderatörler tarafından kontrol edilmiş milyonlarca kaliteli cevap vardır ancak onaylanmış cevaplar mükemmel ötesidir.

p-->(q-->p)=

p-->(q'vp)=

p'v(q'vp)=

(p'vp)vq'=

1vq'= 1 olur.

Not: Bu soruları çözebilmen için mantık kurallarını bilmelisin.

0
2012-09-13T15:25:21+03:00

ONAYLANMIŞ CEVAP

×
Uzmanlar tarafından teker teker incelenmiş onaylı cevaplar, doğru ve güvenilir bilgileri içermektedir. Eodev içerisinde moderatörler tarafından kontrol edilmiş milyonlarca kaliteli cevap vardır ancak onaylanmış cevaplar mükemmel ötesidir.

Öncelikle bazı tanımları bilmemiz gerekir.

Doğruluk durumu her durumda Doğru (D) olan önermelere Totoloji denir.

Diğer bilmemiz gereken de -> ile sembolize edilen koşullu bağlaca ait doğruluk tablosudur.

p | q | p -> q |

D | D |    D     |

D | Y |    Y     |

Y | D |    D     |

Y | Y |    D     |

Bu durumda sorumuz için doğruluk tablosu oluşturabiliriz.

p | q | q -> p | p -> (q -> p) |

D | D |    D     |        D           |

D | Y |    D     |        D           |

Y | D |    Y     |        D           |

Y | Y |    D     |        D           |

Görüldüğü gibi son kolondaki tüm değerler Doğru çıktığından Totoloji olduğunu söyleyebiliriz.



0